shorten all lines to at most 100 characters

well, if there is no good way to do so, accept a slightly larger
number. Anyway, the longest line is now at 104 characters...