metamath executable

executable used to maintain *.mm files