Changed an obvious error. We now have a more meaningful bisimilarity
relation on the ZVG, but it is still buggy.
Removed Fernandez_modules.ml from fernandez.nw. Makes things that much
easier to handle. The noweb comments can hopefully be scavenged, some
day.
Going to have to debug the LTS, committing for safety.
I believe the DOT generating function points in the right direction
now, all we need to do now is find the bug that causes the edges to be
generated pointing the wrong way.