Sort ports obtained from Docker.

In the ExposedPorts variant of the API, the port mapping is a hash, not an
array, so it's hard to know which Marathon/Mesos port will be mapped to which
Docker port.