Remove Todo package.
Stupid python script for counting size of theorems and lemmas.