Add astrant-extensions submodule