A little compiler compiling DOM fragments in XML to DOM-building JavaScript functions