WebIDL checker

script $Revision: 1.50 $ of $Date: 2009/10/28 13:16:47 $
by Dominique Hazaël-Massieux
the heavy work is done by widlproc.