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
Renaming Basic parser into Outer.
Also dealing with some of the comments.
Merge pull request #812 from kframework/basic2outer

Basic2outer
Fixing symbolic backend in unified-builtins2.
fixed the sort computation in KItem and AddInjection pass
disable io in prove
fixed the indexing of I/O cell that contains only a single variable
revised reverse_spec.k
Adding the 'noAutoReject' tag for Tokens. Also:
   - fixing the check for empty productions to also consider the combination of notInRules and notInGround tags
   - adding back the <delete> line from ant clean that removes the /basic directory from the code to avoid cleanup issues in git.
Adding the same noAutoReject to the new parser too.
included sum_iterative in the regression test