Trying to improve the amount of PDFs that are generated in ktest.
More refined pdf skipping. The tutorial examples are too dependent to skip individual lessons, so I'm going to just leave them be.
I removed all the regression tests pdfs.
Adding quine explicit back to the pdf list.
Merge pull request #509 from kframework/skip-pdfs

Trying to improve the amount of PDFs that are generated in ktest.
Merge remote-tracking branch 'origin/master' into strategies