server/tripe-admin.5.in: Document `-priv' option to ADD command.