Add dbext submodule
make doc