SERVER-11077 Debian Enterprise packaging

This is a minimal change to support Debian, almost
identical to Ubuntu packaging and Community Debian
packaging.