Rename the Debian package

This fixes #107.