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
performance tuning
rename maude files to new directory
make changes to files to build the new way
change maven clean plugin to delete ant files
check in basic info about eclipse project
remove unused dependencies
speed up mvn package
fix developer README
fix Radu's comments on readme
fix windows z3 error