ignsdk-debian-creator: mute output from dh_make, pushd, and popd