Unofficial Kattis client (beta)