a tool to convert format hrl to xml