A WebIDL parser written in Python to be used in Mozilla.