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
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 #787 from dwightguth/termattributes

Refactor location, filename, and klabel attributes