Merge pull request #2241 from TimHas/develop

Added small feature to profiler: total execution time count