DOC: new version of ants installer that prompts the user before uninstalling ants