kframework/k — pull request #77 by osa1 (2013-10-09 02:20:21+00:00)
Title: ktest cleanup

04b6200: some unused stuff removed, some Configuration variables marked as `final`, variables moved so that all variables that set after user supplied command line arguments are now in the same code block.
8d8cb05: `HELP_EXPERIMENTAL` option was never used and removed.

Also, seems like experimental options(`optionsExperimental`) is never used but I'm not sure. If you confirm I'll remove that too.

(test suite runs passes)