Minor inconsistency related to imposed policies between format definition and parser

[Manuel Luque]

Definition of ProbModelXML states that the set of imposed policies should be written under an XML element named “Strategies”. However, the parser is writing an element named “Policies”.