Added strategies for transitions and updated the search function
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Renamed examples to samples
Fixes #73: PDF backend moves rules after comments following them.

The problem was in parsing and caused by some odd ordering in how
JavaCC executes commands for special tokens such as comments.

Fixed by sorting all items in a module by their end position.
This ensures that comments between items end up between those
two items but that comments within an item are put before the item.
Merge branch 'master' of github.com:kframework/k
KTEST: Change default value of --programs and --results options
Merge branch 'master' into work
Work on pdmc
Merge branch 'master' of https://github.com/kframework/k
Work on using gappa
ENforcing inferred sorts.
Commented out Inferring of sorts as it breaks tests.
Merge branch 'master' into work
refactor ktest
Cleanup .gitignore and ant clean.
Merge branch 'master' of github.com:kframework/k
Fixed issue #91. Java VM arguments: Implemented support for environment variable K_OPTS where we can specify java virtual machine arguments. On all K tools on all platforms. Tested on windows and linux. If not specified default values are used. Implemented a relevant help message as part of krun --X, or other <tool> --X message.