tree 6ff8bd91ea233628713a5ec17a0123b48ae6a5d2
parent 0db4d4d8fc453f167eb67d8bb9f72dd76006ab24
author Davide Pesavento <davidepesa@gmail.com> 1588277163 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1588290326 -0400

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Modernize docs/conf.py
 * Replace redmine_issue extension with sphinx.ext.extlinks
 * Minor updates to docs/doxygen.conf.in
 * Cleanup README.md and INSTALL.rst

Refs: #5095
Change-Id: I614e876e6aed73659f4f4cea01813f4604599263