Command line option for loading configurations saved using the "binary" mode.
Fixes for the load-cfg option.
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Hacky stuff to prevent "K2KLabel" from appearing.
Merge remote-tracking branch 'upstream/master'
Merge branch 'master' of https://github.com/kframework/k
Removed my name.
pring error message in verbose mode for debugging
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/javasources/KTool/src/org/kframework/krun/Main.java
Changed some names for consistency.
minor hack in argument printing
fix getPgmOptions bug
add comment for a hack
fix getPgmOpts again
remove hack and fix real problem
a hacky solution to run correct programs when we have multiple progarms with same name
tiny change to troubleshoot ktest branch on Jenkins
replace old ktest
handle timeouts