make port of ConnectionManager configurable

I encountered a port confliction problem due to ConnectionManager which is really annoying .
So I make the ConnectionManager port configurable with default port 9999 still.
I added a new configuration called `spark.network.connectionmanager.port` , and I'm not sure whether the name is OK or not : )