info() from domain returns cputime value rounded to tenth of a
second. we should just use domainListGetStats to get full nanosecond
detail.
Related-bug: #1677159
Related-bug: #1421584
Change-Id: I8d3f5fa8c683a0cbd9cca7072fa4862b8c00c224
(cherry picked from commit fb6cd01753)