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
Merge branch 'master' of https://github.com/HoTT/HoTT