Debian: install manpages for smuxi-server, smuxi-frontend-gnome and smuxi-frontend-stfl