Update the debian apt repository to specify the operating system release. This commit references #3.