add submodule mina-examples