git-push-public: more flexible command line

Select public server and/or specific repositories from the command line.
Also improve the display output a bit.

First commit