[Debian] ignsdk-debian-creator: add license choices, defaults to gpl3
[Debian] ignsdk-debian-creator: mute output from dh_make, pushd, and popd
[Debian] ignsdk-debian-creator: fix license name
[Debian] Release v1.1.3.2
Merge branch 'debian-v1.1.3'