Remove install_mgtools, which is no longer used
(it was substituted by install_from_git).