Add Python3 install script for Linux; python3 fixes