ignsdk-debian-creator: add license choices, defaults to gpl3