Added Debian build environment based on Axel Beckert's most recent revision: