Add test_jar_name option to judge.py