Add comprehensive docstring for -define-checker
Slight docstring fix
Document -define-checker in the manual