Change deb OS version naming conventions
Instead of using the codename, this uses the actual OS name plus the version.
Tested on Debian, Ubuntu, Raspbian. I tried to have a single line for generating $dist, but that introduced bugs and looked much less clean than the version I've committed now.
Line 52 to Line 73 in functions-deb.sh is massively confusing, to say the least - I can't figure out what it is supposed to do, it's not generating the (old-style or new-style) versioning name we're looking for and seems to be broken. I'd be more than happy if we could take a look at this sometime soon.
