A bit better working graph relations.
Update for new graphviz package.
Use more descriptive error constructor names.
Adding GUI to default cabal build.
Round of changes to make debugging easier.

Some types of errors had no info about where they
occurred, now at least we get a feature name.
Fixing some formatting.
Add flymake files to gitignore.
Add lock reconstruction, partial order reconstruction.

The order reconstruction will currently crash things :(.
There has to be a function to convert from orders to ProcExpr's.
Adding reconstruction support.