restore python3 shebang
Authored by: Jean-Francois Dockes 2018-09-26
Parent(s): [a4c789]
Child(ren): [aba967]