refactor kast options

* delete --fast-kast option
* use JCommander for KAST
* remove all but one field in GlobalSettings
fix copyright
fix ktest xml for --parser
Merge branch 'master' into options

Conflicts:
	src/javasources/KTool/src/org/kframework/kast/KastFrontEnd.java
	src/javasources/KTool/src/org/kframework/kil/visitors/BasicTransformer.java
	src/javasources/KTool/src/org/kframework/parser/DefinitionLoader.java
	src/javasources/KTool/src/org/kframework/parser/ProgramLoader.java
	src/javasources/KTool/src/org/kframework/parser/generator/ParseConfigsFilter.java
	src/javasources/KTool/src/org/kframework/parser/generator/ParseRulesFilter.java
Merge pull request #424 from dwightguth/options

refactor kast options
Merge branch 'master' into visitor-exceptions

Conflicts:
	src/javasources/KTool/src/org/kframework/kast/KastFrontEnd.java
	src/javasources/KTool/src/org/kframework/kcheck/ResolveRLFile.java
	src/javasources/KTool/src/org/kframework/krun/RunProcess.java
	src/javasources/KTool/src/org/kframework/parser/ProgramLoader.java