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.
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/javasources/KTool/src/org/kframework/krun/Main.java
Changed some names for consistency.
Merge pull request #167 from chathhorn/master

Experimental load-cfg option.