Delete minus1Trunc.v, close #434

Just being curious. Did you do `git rm minus1Trunc.v` or `rm minus1Trunc.v` and `git commit` ?
I'd imagine that the diff would look different in the first case, but I could be wrong.