Added a convenience file theories/HoTT.v which exports the rest of the library.

A development based on the HoTT library can now import most, if not all of it
by "Require Import HoTT".
Merge pull request #59 from andrejbauer/master

Added a convenience file theories/HoTT.v which exports the rest of the librarary