tree dbf08ad60e9cbd6a7e555a96bcfaec9890141855
parent f35aab961d831fc20a0a8d5f43791ebfef2460a6
author Davide Pesavento <davidepesa@gmail.com> 1586811002 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1586843187 -0400

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Build examples in CI
 * Delete unused code coverage script
 * Cleanup README.md and INSTALL.md

Refs: #5095
Change-Id: If07c68487126e242c027b46bd597ff7932f526fd