Added mantri as a submodule