md_parser.ml: deletion of spaces at end of lines