Update checkargs.py for todays edits of Protocol-A.texi.

ChangeLog

 2001-05-05  Per Cederqvist  <ceder@moria>
 
+	Update checkargs.py for todays edits of Protocol-A.texi.
+	* doc/checkargs.py (lexer.run): It is not OK to reach EOF.
+	(lexer.ignore): Ignore @display.
+	(lexer.toplevel_bye): Exit when reaching "bye".
+	(lexer.__parse_userdefined_types): Ignore @need commands.
+
 	Separate sentences with two spaces, not one, as per the Texinfo
 	documentation.
 	* doc/Protocol-A.texi: Sentences in Texinfo should end with double