Update development docs to explain the submodule requirement