Reflect pushgateway behavior in methods

The pushgateway adds by default any pushed metrics to already existing
ones for a given instance. If previous pushes contained different
metrics than the ones being pushed, they will still exist after the
push.

If that behavior is not intended, then the new #replace method can be
used which will first delete any existing metrics.