Changed title of thesis from "Erasing propositions in homotopy type
theory" to "Erasing propositions and homotopy type theory". Updated
the README a bit.