tree 4cad4528c24e528c734d741a1b5b5ac21c1d90b5
parent d61851ffb23087cc46d75e5d4bb7d5ed8592e94a
author Davide Pesavento <davidepesa@gmail.com> 1586933107 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1587012654 -0400

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Upgrade waf to version 2.0.19
 * Modernize docs/conf.py
 * Improve README.md and INSTALL.rst

Refs: #5095
Change-Id: Ic0f4f3be07d7266e57d6565a665eb24a757291e8