Include minor fixes on Travis CI configuration
Update bootstrap.py