Travis CI: add trick to skip unwanted cache update