KATTIS streaming server