improve parser error handling by using menhir's error recovery mode