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
Cleanup .gitignore and ant clean.
Merge branch 'master' of github.com:kframework/k
refactor ktest