remove developer-doc submodule (need to find another way to use it with ci)