first draft of change to use JCommander for options in kompile
fix enums and usage
add copyright to modified files
fix one more copyright
LTL and symbolic backend: fixing the 'ltl' attribute issue for rules.
Added copyright form.
Removed mathematical notation from comments.
rename some stuff in KompileOptions
fix compile error
add some javadocs at Radu's request
Merge branch 'master' into options

Conflicts:
	tests/config.xml
Fixing Dwight's comments.
Updated agent examples to be run by ktest.

Had to remove output for p22 and p23 as they were non-deterministic.
Changed nondeterministic tests to use search.
Updated tests.
Merge pull request #347 from kframework/agent-tests

Updated agent examples to be run by ktest.
fix line wrapping issue by uploading tweaked binary

Cf. cbeust/jcommander#187
Fix profiling in the maude backend.
Simple sanity test for the --profile krun option.
Copyrights.