#5 Allow custom pop3 port

[Manuel Costa]

It would be nice to be able to choose the server port.
Some configurations mapping localhost ports to remote
servers would be possible with that option.