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

A development based on the HoTT library can now import most, if not all of it
by "Require Import HoTT".