Print timings in ms instead of s for better precision, since most of the kernels take only few milliseconds
Print timings in ms instead of s for better precision, since most of the kernels take only few milliseconds

Signed-off-by: Riyadh Baghdadi <baghdadi.mr@gmail.com>

Former-commit-id: 90c162569e6954acdab44ce471776ee86fd8c9e7
pencil-language/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark,rbaghdadi/pencil-benchmark,rbaghdadi/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark