(prot_a_selection.all_names): New method.
(lexer.__init__): Check that the same number isn't used twice in
	asyncs-numbered.tmp.  Read miscs-numbered.tmp.
(lexer.toplevel_bye): Check that all implemented misc-infos are
	documented, and vice versa.