Add error if pragbot server is run outside of LTLMoP submodule.