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