tree 708c36dd0597d6a60b7b8be13e65734609031d29
parent ad9e04f3aafc4aa6cd62426216584dc5301f7084
author Davide Pesavento <davidepesa@gmail.com> 1587016448 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1587073624 -0400

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Improve README.md

Refs: #5095
Change-Id: I0972967e92bdf78b8ab7cda0d9db262e38c8b32b