Working version of the translator from XML to SPEC

 - Issue with the namespace in the formulas
 - Had to parse (and add!) the xsd/cxx/ tree here
Dead code removed