Extraction: make extraction optional

Refs #5894.
Extract: add option to delete original package

This was previously hardcoded; this moves the option to the UI, allowing
users to choose.

In a future commit this will be set by default in the administrative
settings.

Refs #5894.

Closes #9 on Github.