Make install.py +x

Also refine travis config.