Cleaned up some issues that were preventing the manager from starting.
We should now be using $OPENSHIFT_GEAR_DNS as the name of the cluster
members instead of the local IP address.  This is a step on the way to
having JGroups working etc.