Mark which version of HoTT/coq we use

Mark this in .travis.yml, and note it in README.markdown, as described
by https://github.com/HoTT/HoTT/pull/166#issuecomment-22460613.
Merge pull request #170 from JasonGross/travis-ci-commitish

Mark which version of HoTT/coq we use
Create a sledge-hammer for transport with funext

This closes #156.
Merge pull request #171 from JasonGross/transport-path-forall-hammer

Create a sledge-hammer for transport with funext