give a def in hott-co
added new document
added reference to de marchi
Merge branch 'master' into arxiv
Merge branch 'arxiv' of https://github.com/benediktahrens/coinductives into arxiv