Add DNF violations tester.
Add "make doc".
Add asserts on exit codes.