Delete minus1Trunc.v, close #434

Repeating the answer here: "I'd rather reserve epi and mono for their category-theoretic meaning (which, in the category of hsets, agree with surjective and embedding, but that's a theorem about hsets)."