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".