Removed PDF file, time stamped documents.

The date is now hard-coded in the TeX file.
Removed the PDF file.
Ignore TeX files.
Cleaned up documentation.

Removed outdated files.
clean up annotations.

Remove getSExpr() from IAnnotation.
Simplify RuleKind enum.
Fix solver setup for logic QF_AX.
Merge branch 'master' into after-smtcomp