Add *.thm to list of ignored files