add ability to specify host and port for mysql

Restores the configuration options we accidentally lost on the deployment merge.