Document ANTLRErrorListener and DiagnosticErrorListener (fixes #265)