Removed debug statement which caused crash.
Experimenting with adding showproofs to thresh-elim.
Fixed version of merge used in composition.
Fixed deref of variable in building from message.
Merge branch 'master' of https://github.com/SNePS/CSNePS