KTEST: add it to manual how to skip steps
Merge pull request #532 from kframework/ktest-issue-504

KTEST: add it to manual how to skip steps