Add default port to database connection script

The default port is used if the ~/.catmaid-db file doesn't contain it. This
fixes #454.