mpp_charstream.ml
mpp_main.ml
new option: ignore trailing spaces (i.e. spaces at end of blocks)
mpp_main.ml