stop using attributes to store term information like location, filename, klabel.
fix bug in Production.equals
remove duplicate production
fix bug in wcet
fix definitions broken by latest bug fix
refactor location information to have a Source class
fix copyright
address Radu's comments
fix encoding error when I switched to reading binary parser from String
Fixing symbolic backend in unified-builtins2.
fixed the sort computation in KItem and AddInjection pass
Merge pull request #815 from yilongli/fixing-issue-781

fixing issue 781
Merge pull request #814 from andreiarusoaie/unified-builtins2

Fixing symbolic backend in unified-builtins2.
fix Radu and Cosmin's comments
add file I forgot
Merge branch 'unified-builtins2' into termattributes

Conflicts:
	src/javasources/KTool/src/org/kframework/compile/transformers/StrictnessToContexts.java
	src/javasources/KTool/src/org/kframework/parser/DefinitionLoader.java
	src/javasources/KTool/src/org/kframework/parser/generator/OuterParser.java
	src/javasources/KTool/src/org/kframework/parser/outer/Outer.jj
	src/javasources/KTool/test/org/kframework/parser/outer/OuterParsingTests.java
fix copyright
Merge pull request #816 from yilongli/prove-simple-iterative-sum

Prove simple iterative sum
Merge pull request #787 from dwightguth/termattributes

Refactor location, filename, and klabel attributes
Started to remove #String from the front end.