#4 Add link to portsdb.org from to_port.php

[Pontus Ullgren]

This patch adds a handy link to the to_port.php page
that gives you a quick way to look up the port in
portsdb (www.portsdb.org).

[Pontus Ullgren]

Adds link to portsdb.org