minus1Trunc_ind: eliminator for minus1Trunc when target type is hprop

Because I keep using this.
Merge pull request #183 from SkySkimmer/patch-1

minus1Trunc_ind: eliminator for minus1Trunc when target type is hprop
Merge branch 'master' of https://github.com/HoTT/HoTT