core: replace wget by curl (Travis CI)