do not round reported durations to seconds#1870

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

chrono-precisiondiffblue/cbmc:chrono-precisionCopy head branch name to clipboard