Shell|GUI: Applied tabs inside the Start Local Server dialog

Divided into basic and advanced settings.
Shell|libshell: LocalServer opens the link, better Preferences handling
Shell|GUI: Check for ports known to be in use when starting a server

The local server dialog will not let the user start a server using a
port that is already in use by another server.

Todo for later: Add a notice of some sort so the user realizes why the
server cannot be started using a particular port.