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.