add script for measuring performance
Merge pull request #534 from ifilippov/perf

add script for measuring performance
Supporting perf.py on Windows and some small corrections in it
Fix for the bug introduced by --intrumentation fix
Merge pull request #540 from dbabokin/embree_bug

Fix for the bug introduced by --intrumentation fix