TMP: probes for math functions

Temporary probes at various branch points in the functions.
Implement benchmarking script in python
Detailed benchmark numbers

Store timings per input.
Remove bench-modf.c
Add machine info
Make bench.out in json format