Fix profiling in the maude backend.
Simple sanity test for the --profile krun option.
Copyrights.
Merge branch 'master' of http://github.com/kframework/k

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/maude/krun/MaudeKRun.java
Updated profiler sanity test to use regex.
Merge pull request #354 from chathhorn/master

Fix maude profiler support.