Fix for issues 4 and 26
Moved statistics from rv-monitor to this
Improved line number output
Updated to latest version of rv-monitor JavaMOPIssues
Merge pull request #31 from runtimeverification/fixStatistics

Fix statistics