Fully remove deprecated and not working Travis CI badges and configs The Travis CI badge was removed from README.md for a while. It seems we should remove the entire config and all those badges in different versions of README.md. cc 4a0d01e9c67075bf26999319982f54d9903408e0