Fix architecture in Debian documentation package filenames.

Closes #205.