Fixed i59

http://gsd.uwaterloo.ca:8888/question/250/add-line-numbers-scopes-and-unsat-core-markers-to
Fixed UnSAT not showing up for unSAT errors refering to constraints
Fixed small bug with constraints containing | and cleaned up design
Merged develop.