Using boost to serialize the state to xml

Change-Id: I7ddceb82a78abb5f21bd0bd7fcf87db30800ae3d