Merge pull request #1 from lucasaiu/master

Merged from my master branch,  Whatever.
Added an .mli file I should have remembered about before.
Implemented partly-parallel context split; currently broken