Initial commit.
Disambiguator needs test cases to run, and it also needs to be tested under
real-world conditions.

Also managed to make a makefile. It should probably(in the future) use ocamlopt
rather than ocamlc.
Disambiguator is working, I think. Seems to pass tests with roughly correct
output.
Merge branch 'master' of https://github.com/Markov-Grammatical-inferencer/shiny-computing-machine