A couple of minor dexter improvements

1. Use a more sane formatting for floating point values (no need to get 100+ digit values from %f)
2. Add a rudimentary timing information for the selected experiments.

Test: bazel test :dexter_tests

Change-Id: I514acd8f6ea40b460dfa0f76867b86a711b45e21