Merged all the housekeeping we did in fix-abstraction into master.
Conflicts:
	.gitignore
	ocaml/grammar-noweb/Rules.mk
	ocaml/grammar-noweb/grammar_types.nw
	ocaml/thesis/Rules.mk
	ocaml/thesis/thesis.tex
Minor commit, fixing a small bug in the documentation.
Merged master into fix-abstraction after a while, removed an unused
interface, and cleaned up the build process a bit by removing an unnecessary
interface file, got rid of an obsolete
file named calc.ml and its noweb form, also some general housekeeping of Makefile content.
Got rid of a bit of experimental code from way back.
Replaced the constraining mechanism with another which does not use constraint_t and uses (i, j, strictness, bound) instead.
Removed all references to raw_t pointers being sent to Ocaml.
Removed all references to constraint_t pointers being sent to
Ocaml. Also, made a slight change for prettiness.
Needed to make a couple of changes again, no idea why. Version control
is starting to get to me.
Getting rid of a few Ocaml warnings.
Got rid of one more warning.
Merge pull request #3 from airbornemihir/master

Cleaned up and removed some deprecated interfaces...