Use travis's python
Made an extremely important change to silver-searcher