fix copyright
fix copyright
Merge branch 'kast-options' into krun-options

Conflicts:
	src/javasources/KTool/test/org/kframework/utils/options/DefinitionLoadingOptionsTest.java