Update STYLE, incorporating wiki; close #468

Do we want to include that `HoTT.v` and `Tests.v` are exceptions?