Attempted fix for issues 4 and 26

It now uses the specification name when printing the violation, and prints the full stack trace instead of guessing at the relevant lines.
https://github.com/runtimeverification/javamop/issues/4
https://github.com/runtimeverification/javamop/issues/26