(80 column rule diagnoser): simple tool to warn about text width. Although this can be done even with a simple unix command, it is my excuse to hack a bit in core Standard ML.