Fixed definition of Suspension as per #122.
Added [Misc.v] for miscellaneous lemmas.
Minor comment additions.
Merge branch 'master' of https://github.com/HoTT/HoTT
Renamed lemmas [nullhomot_susp_from_paths].
Resolved #124: renamed [Equivalences.isequiv_cancelR] to [cancelR_isequiv] etc.
Merge pull request #126 from peterlefanulumsdaine/master

Progress on several issues raised yesterday.