fixed debugger symbolic backend issue by getting the KRun object from main class
- added KRun as parameter to gui controller
- get KRun from main class when continuing execution from a state
Some fixes to show variable sorts.

Conflicts:

	src/javasources/KTool/src/org/kframework/backend/latex/LatexFilter.java
Fixing user typedness for variables being global (per rule).

Conflicts:

	src/javasources/KTool/src/org/kframework/parser/concrete/disambiguate/VariableTypeFilter.java
Updated styling information.
Update k.sty

Added copyright info
Update VariableTypeFilter.java

Added back copyright notice
Merge pull request #435 from kframework/latex-fix2

Latex fix2
send KRun object as constructor argument when loading a configuration
fix copyright on xml files
fix copyright on .k files
fix copyright on jj files
fix copyright on .java files
fix xml declarations
Merge pull request #437 from dwightguth/copyright

Copyright
Merge pull request #432 from daniel-ionut-vicol/master

Fixed : Unable to run graphical debugger using symbolic backend #431
refactor krun options to use JCommander