Changed stuff so that the LTS goes into /tmp/lts.txt and the DOT file
of the LTS goes into /tmp/lts.dot.
Moved the LTS text-writing code to another function in calc.ml. Should probably
consider moving this stuff to another file and rename calc.ml, too.
Merge branch 'master' into fix-algorithm