So... we're slowly moving stuff over to the dot storage system, and
we're going to be making one commit per automaton from here onwards to
ensure we can use git-bisect.
OK, we have some kind of functional command line interface... but
right now it only displays (n, k, f), not the other two options... and
it only supports one way relations right now... and there's too much
debugging output.
We have a basic build system, and a basic command-line interface.
Merge branch 'master' into fix-build
Merge commit '50194d72c623d91a30ed57f6695656a7092e0dc6' into fix-build

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.

Merging in some work from when we were turning test cases into
separate dot files.