update for mm (double)

#!/bin/bash
# update mm
git stash
git remote add parent git@gitlab.eidos.ic.i.u-tokyo.ac.jp:benkyokai-maintainers/mm.git
git pull parent master
git submodule init
git submodule update
make full_clean
git stash pop