Add proof general as a submodule.