refactor rule metadata in java backend to use typed attributes
Merge branch 'master' into fastrewriter

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/compile/GenerateKRewriteMachineInstructions.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
	src/javasources/KTool/src/org/kframework/compile/transformers/AddLocalRewritesUnderCells.java
	src/javasources/KTool/src/org/kframework/compile/transformers/ComputeCellsOfInterest.java
fix copyright
fix issue with mutable attributes
fix error with proofs and search patterns
Merge branch 'master' into fastrewriter
fix attribute copying (issue #878)
Merge pull request #905 from dwightguth/fastrewriter

refactor rule metadata in java backend to use typed attributes