Added file that parses main file and generates .tex file with only theorems