This commit cleans up build.xml, deleting all targets involving clover