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
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
refactor build system to use maven - moving all files
refactor build system to use maven - change code files to make build system work
add quotes to PATH in batch scripts
fix spaces on linux
update readme to name VC++2012 as a dependency
move gappa and sdf2table back to lib
fix slow build
update to latest compiler and resources plugins
turn off dependencySets because it's too slow