tools: Reduced the number of threads for kjtest.sh and jdk-test.sh from 22 to 12. Tests show no impact on performance.
Latex: Now the semantics supports latex and pdf generation. Semantics modules are sections. smaller parts - subsections. Just math mode supported for now. PDF generation don't require tweaking latex resource limits.
Updated the list of ignored files in .gitignore