Print number of added records

This also optionally pushes the number of metrics to prometheus'
pushgateway.