Auto-run ./configure in HoTT
Add .travis.yml for Travis-CI
Update to latest version of HoTT