tree 7d50de2e060f014cd7a560d2f5932461511ebcf1
parent 5b3cf7621ce9269048022ea311887aa752591713
author Davide Pesavento <davidepesa@gmail.com> 1585879707 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1586041360 -0400

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Modernize docs/conf.py
 * Fix typo in docs/doxygen.conf.in
 * Cleanup README.md

Refs: #5095
Change-Id: If95b6f00e4f48a102054b47e14e9c021da069e71