Add MySQL port number to settings and dbschema.
Merge pull request #8 from trieb/add-mysql-portnumber-to-settings

Add MySQL port number to settings and dbschema.