Proof step works line oriented now

* changed pretty-printer
* changed build-pretty-string
* changed proof-step
* added hash2line
* added line2hash