Changes 2020 in Lino Presto

2020-05-12

Released Lino Presto 20.5.0 to PyPI.