added 5 secs timeout to read maude output line and verbosity

fixes #1286. The errors in the example file are displayed like by maude itself.