Moves docompile.py into project, for cleanliness of the compiler submodule.