Add option to specify the MySQL server port

This is useful if you are running multiple instances of MySQL on the same server listening on different ports.