Merge pull request #960 from yilongli/separate-Cell2DataStructure

separated Cell2DataStructures to Java-backend-specific version and non-b...
delete unused files in tests directory
Merge pull request #955 from dwightguth/delete-stuff

Delete unused files from repo
Merge remote-tracking branch 'upstream/master'

Conflicts:
	samples/java_rewrite_engine/tutorial/2_languages/1_simple/1_untyped/tests/config_verification.xml
Merge pull request #961 from osa1/maudeKRun-fix

fix some of wrong comparisons in MaudeKRun to fix a test
fix various findbugs errors categorized CORRECTNESS and BAD_PRACTICE
ktest: don't generate same PDFs multiple times
remove temp directory .k
fix bugs in mkdirs() changes
pass GlobalOptions.debug to KTestOptions.debug
when in verbose debug mode, pass --debug to spawned processes to print stack traces
improving last patch
fix a wrong condition
Merge pull request #964 from osa1/ktest-elim-dup-pdfs

ktest: don't generate duplicate PDF files. kompile: remove .k
fix npe with -ea enabled
Merge remote-tracking branch 'upstream/master'
fix typo that radu wants me to fix
clean up KRunModule / add comments
make a couple classes have non-null arguments
Merge pull request #957 from osa1/master

fix required VC++ Redistributable version number in INSTALL