Add tactics "skip" and "fail"

"skip" does nothing, while "fail" produces an error. They have
corresponding reflected versions Skip and Fail. Fail has access to the
pretty printer by taking a List ErrorReportPart as its argument.
Merge pull request #1425 from david-christiansen/fail-skip-tactics

Add tactics "skip" and "fail"