Measuring efficiency

Insert CPU time measurements at various places in the code
Alternative: full Python profiling, which gives a sorted list of time-consuming functions 
profiler.py scriptfile options
(profiler.py is in src/tools)

previousnexttable of contents