Commit 04ee1e75d7061b9a0c076b553c89be5b84d1f61e

Steffen Jaeckel 2019-10-28T15:07:58

improve demo/timing a bit * less verbose output on console * allow changing name for logs * pre-heat caches before starting the timing