added 5 secs timeout to read maude output line and verbosity
refactored
Merge pull request #1306 from spechub/1286-maude-hanging

added 5 secs timeout to read maude output line and verbosity