Adds the syntatic repository as a submodule