AGPUSH-170

This is a first version of "extracting" push server details into a separate component. That will also be used as base for the future Forge Push Plugin.
People can create several push configs (one for local, openshift or whatever) but only one config can be active at the time, you can switch at runtime from a config to another. ( activating/deactivating is handled automatically).