Replace random service ports in docker mappings.

- Fixes #714