Remove Debian release codenames (Closes: #688234)

Completely untested patch that removes the codenames from the configuration, script and docs.

You might also want to "backport" this onto the version in testing.