Use a Travis CI badge consistent with the other badges and defeat GitHub's
aggressive optimisation of MELPA's old badges served without proper
cache headers.