Rep for OpInfo is now only calculated once
PROBCORE-64 Added information about variables and operation names to the graph.
Replaced asyncExec with syncExec because of lagging in the execution of events
Size of rectangles is calculated dynamically
Created command to extract the signature merge graph from Prolog PROBCORE-330
PROBCORE-307 fixed minor bug in predicate servlet