Stand-alone WebIDL Parser in Python