travis has installed a circumventor proxy on his work computer

What type ofproxy has Travis installed on his own computer?