Bump travis-pro-core