Add option to insert non-standard ports into links

* If the server's outward-facing port (the configured port) is something
  else and you don't have access to port 80 or 443 or whatever, the new
  checkbox will enable putting that port in the URL