codebattle server written in python