Turn on integration tests in travis-ci

Thanks to Michael for the proxy server fix.