Travis: use different emdebian mirror for now
Merge pull request #2057 from LudwigOrtmann/emdebian

Travis: use different emdebian mirror for now