test, a second version of test

• order function for data. Rule.mk not terminated - the following hack in quantomatic/core/rewriting/rule.ML for Rule.mk required:

  in (Rule { lhs = lhs, rhs = rhs',
            lhs_aut = lhsauts,
            selfapps = [] (* GG: filterorbits lhsba [] *),
            order = [] (* GG: gen_ order lhs lhsauts
                              V.NSet.empty V.NSet.empty *) },
      (vrn,ern))
  

• move socket stuff into isaplib [GG] -> still need to be tested and arra y stuff checked.

some chiange to fix