kore-parser: Make --no-print-definition and --no-print-pattern default and make --module and --pattern mandatory to go together

[MirceaS]

Fixes #2264
Fixes #2254

---

Reviewer checklist

• Test coverage: stack test --coverage
• Public API documentation: stack haddock

[ttuegel]

Please add unit tests, particularly to check that the combination --no-print-definition --print-definition works. You will probably have to move enableDisableFlag into the library.

I know that command-line parsing is my favorite example of low-value tests, but I'm starting to change my mind; it's obviously not simple to get command-line parsing right and the tests are easy to write.