Fix the no-source bug in gdrdrv-dkms.deb (issue #131)

[pakmarkthub]

Problems:

• See issue dkms source not in deb (master) #131.
• The dkms build scripts incorrectly handle DEBIAN_VERSION (root cause).
• In build-deb-packages.sh, dpkg-buildpackage incorrectly marks dkms as binary-only package. This is the root cause of issue dkms source not in deb (master) #131 but should be fixed nonetheless.

This PR:

• fixes issue dkms source not in deb (master) #131.
• modifies build-deb-packages.sh and internal scripts to correctly handle DEBIAN_VERSION.
• upgrades dkms source version to 3.0.

Pre-submit testing:

• On Ubuntu18.04.
• Tested install and purge for both gdrcopy.deb and gdrdrv-dkms.deb.
• Tested upgrade gdrdrv-dkms from version 2.0 to 2.1.

[drossetti]

while we are here, I also suggest to rename the dkms to include the gdrcopy_ prefix, and update metadata so that the new package supersedes the old one

UPDATE: actually filed a new issue and let's work on that there

[pakmarkthub]

@drossetti

This should fix as you suggested. Please re-review.

By the way, since you plan to create a different PR, I didn't add gdrcopy_ prefix to gdrdrv-dkms.deb here.

[drossetti]

thanks! it looks good, small change if anything

[drossetti]

By the way, since you plan to create a different PR, I didn't add gdrcopy_ prefix to gdrdrv-dkms.deb here.

it makes sense!