add tests/docs for Ubuntu 20.04

gcontini

2020-10-11 34c994011ba790167c2ffa8a9f7da78e38236147

 doc/conf.py

@@ -98,7 +98,7 @@
#
html_theme_options = {
  'canonical_url': 'http://open-license-manager.github.io/open-license-manager/',
  'analytics_id': 'UA-61067325-2',  #  Provided by Google in your dashboard
  'analytics_id': 'UA-160839650-1',  #  Provided by Google in your dashboard
  'titles_only': False
}