Update .gitmodules to point to my fork of HoTT

This way, the Travis-CI will build.
Add .travis.yml for Travis-CI