Merge pull request #10 from UniMath/master

Merging updates from the main repository
timing info in README
Merge pull request #11 from UniMath/master

Updating my fork from the main repository
Changes to uuu and uu0
Merge pull request #36 from benediktahrens/timing-doc

timing info in README
fix a minro problem in Circle.v

... that resulted from Foundations using "induction" instead of "destruct" throughout.
Merge branch 'master' of github.com:UniMath/UniMath
Merge pull request #39 from DanGrayson/master

"induction" instead of "destruct"
update submodule coq version

I think it got bumped back somehow.  The differences are minor, covering
one more case in the type-in-type patch.
use PathNotations in statements of uu0

moved path notations from submodule of uu0 to the corresponding constant definitions, thus no need to explicitly import module PathNotations any more to use notations; this commit removes those imports

switched to path notations in statements of hProp and hSet