mu-mmint: Add feature to install mmint+z3=mu-mmint