(Re-)configure Travis CI