Add a command to dump profiling output.
Merge pull request #128 from VoiDeD/profile-dump

Add a command to dump profiling output.