Minor additions
Adding done tactic
working on porting HSet
Merge branch 'master' of git://github.com/HoTT/HoTT

Conflicts:
	theories/HLevel.v
	theories/HProp.v
	theories/HSet.v
Merge branch 'master' of git://github.com/HoTT/HoTT