Provide a REST command to reset microprofile metrics

The microprofile metrics API does not provide a standard way to reset metrics.

We'll need to add one REST handler for this, if possible.