Added an itroduction describing the difference between kore and haskell profiling
Updated Profiling (markdown)
Update instructions for and emphasize Kore profiling
Created Profiling (markdown)