Auto-run ./configure in HoTT
Add .travis.yml for Travis-CI