Fix rejudge
Add tools directory and number_theory_utility script
Fix a inconsequential bug