Remove a product

Deletes an ODC product and every dataset indexed into it. The rasters themselves are not touched -- they are not held here -- but the index entries are gone and re-indexing them means running the indexer again.

Asks for the name twice on purpose. A token protects against strangers; typing the name protects against the wrong product.