travis: build using devkitpro docker image