updated profiling on os x

Shark is long gone. Instruments works but does not give any useful function names, so profiling on OS X is essentially broken.
removed shark references
Merge pull request #597 from nilsbecker/patch-1

updated profiling on os x