Switch to using "python3" commands in session.txt

Better to be explicit, instead of relying on an environment where
"python" has been symlinked to Python 3.4.