Feature/resurect menhir message

It was removed in ce21b6c1. But try to handle the problems more easily by just adding the message that we need. The parser state that doesn't have any message are just printed as "parsing error" as usual.

The issue #172 (closed) is added as a regression test.