Travis support suggestion

GitHub recently changed the policy in delivering user content (https://developer.github.com/changes/2014-04-25-user-content-security/). The upshot is that 'curl' for raw.github.com no longer works without redirect.