[CRIU] p.haul page statistics

[Adrian Reber]

Using the latest criu with p.haul the information about the pages dumped
looks a bit wrong. From p.haul I get:

09:27:59.485: 11602: 	Issuing pre-dump command to service
09:28:00.533: 11602: 	Dumped 13 pages, 0 skipped
09:28:00.533: 11602: Checking iteration progress:
09:28:00.533: 11602: 	> Small dump

But in the stats file I see:

{
    "magic": "STATS", 
    "entries": [
        {
            "dump": {
                "freezing_time": 101, 
                "frozen_time": 15680, 
                "memdump_time": 12033, 
                "memwrite_time": 1729763, 
                "pages_scanned": 154674, 
                "pages_skipped_parent": 0, 
                "pages_written": 13, 
                "irmap_resolve": 0, 
                "pages_zero": 0, 
                "pages_lazy": 153614
            }
        }
    ]
}

So p.haul is kind of right as the stats file says that only 13 pages
have been written. But all the lazy pages have also been written.

Should pages_written include the lazy pages or should p.haul add
pages_written and pages_lazy to get the actual number of pages written?

		Adrian