[pipeline_stats.sh] push metrics in prometheus

push metrics in prometheus.

I added a --push-metrics option to pipeline_stats.sh ( result of an invocation here : http://3.128.115.189:9091/ )

and the env.token auth snippet to easily run it from console.