tree bd286abc3dcc94f4f1506abb85b23961578febed
parent e3fe048411fe654b833806fbfe3460f39d6258be
author Davide Pesavento <davidepesa@gmail.com> 1585783084 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1585790385 -0400

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Modernize docs/conf.py
 * Cleanup README.md
 * Use the official markdown version of the GPLv3

Refs: #5095
Change-Id: Ie607fcde1f6e41fa5efbbb41b21cb08583017442