murphi2xml: accept members of <model> non-nested

The XML output is now also considered legal when declarations, functions and
rules appear directly as children of the 'model' element. That is, we no longer
require them to be nested under 'decls', 'functions', 'rules', respectively

Github: related to #202 "remove section ordering restriction"