Allow naming servers to give them a better display name

[e00E]

Currently the address of the server is used to display the server tab. For some servers this can be unhelpful (ip address) or too long (very long domain name). I would like to be able to give my servers a helpful name in the config. This name would be used instead.

[trevarj]

Implementing feature here:
#188

[osa1]

This is now implemented. Just add an alias field to your server configuration. Example:

    - addr: chat.freenode.net
      alias: freenode
      ...

Here in the tab line you'll see freenode instead of chat.freenode.net as before.

[e00E]

Thank you osa and trevarj.