Make travis use many threads