Allow admins to delete extractors. We have found that, if an extractor is no longer running but was once registered, it will still appear. It can be deleted by api calls but not within the GUI.