changes to travis, seems we have to call setup.py with "develop" now
Also new travis hassle around gpg keys
apt-get update seems to take too long