Travis CI: add redis-server