Boxes retain their identifiers across saves. Element order in the
saved xml is no longer permuted. The benefit is that diff output
between two consecutive saves of a slightly changed scenario
is now more meaningful.

Patch contributed by Mensia Technologies.
Patch described in Mensia/Inria transfer contract dated 21.11.2014