Make Travis setup work through Proxy

[florian-bd]

For Github access, you use the library Request that reads the proxy config from the environment variables. But not for Travis, so it doesn't work if you have a proxy.