I59

see http://gsd.uwaterloo.ca:8888/question/250/add-line-numbers-scopes-and-unsat-core-markers-to

Edited how IG displays clafer and alloy Models.

Added line numbers as well as printing global scope and local scopes for both clafer and alloy.

For clafer It will also display which lines get an unSat error by pointing them out.