[Debian] Add new package: ignsdk-debian-dev