Collab: some more multi server support code. Plus a dialog letting
        you choose which local font server you wish to close.
Merge pull request #871 from monkeyiq/2013oct/issues/857

Collab: some more multi server support code.