Merge pull request #270 from yilongli/master

able to run environment-based fun-untyped with Java engine
add negative contracts on KilProperty
add media properties to K tutorial subfolders
add erroneously skipped media.properties
Merge pull request #286 from pdaian/master

add media properties to K tutorial subfolders
Updated License
add comment explaining what this is used for
Removing pdmc from master
Updated buldjava.xml to remove Promela parser generation.
Merge pull request #293 from kframework/remove-pdmc

Removing pdmc from master
Merge pull request #285 from dwightguth/kilproperty

add negative contracts on KilProperty
missing dependency from removing pdmc
removed file from source control as it seems to change with Idea version.
Fixing StringUtil escape not taking into consideration '\f'.
Merge pull request #299 from kframework/backslashf-fix

Fixing StringUtil escape not taking into consideration '\f'.
included btrace jars
included BTrace script used to profile Java KRun; minor refactorings to ease the writing of BTrace script or circumvent BTrace bugs