Added Coq'art citation.
Merge branch 'master' of github.com:gdijkstra/hprop-erasibility

Conflicts:
	docs/thesis/thesis.pdf