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
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
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
more performance speedups