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)
fix NullPointerException in test
fix #938
Merge pull request #939 from dwightguth/npe

fix NullPointerException in test
Merge pull request #905 from dwightguth/fastrewriter

refactor rule metadata in java backend to use typed attributes
fix usage message (issue #941)
Merge pull request #942 from dwightguth/jcommander

fix usage message (issue #941)
Merge pull request #940 from osa1/master

fix #938