.travis.yml: Fix .deb name for devkitPro