GitLab

Tipserv port only includes libtelnet which is only needed for the icebox,
so this port is not "linked in" to the documentation yet and is not required
anywhere but on our PRObE cluster.

Added a couple of missing ports to "boss" and "extras".

It has been removed entirely from the FreeBSD ports tree and we still need
it because it has a dhclient which takes multiple interfaces on the command
line (the current version just takes one interface). We should move to the
new version, but I am not up to that yet...