repo: use explicit Python executable to run main.py

Small step to support non-POSIX platforms.

Change-Id: I3bdb9c82c2dfbacb1da328caaa1a406ab91ad675
1 file changed