Remove stuff not used in travis-web anymore