Allow developpers to remove a plugin with the command line "-remove"