how to profile command line tools with shark?