separate out static dependencies of core on java backend
fix copyright
fix checkstyle
fix bugs in new guice modules
fix race condition on kompiled directory
Adding a timestamp to generated files in .k to make it easier to track the last version.
Merge pull request #892 from dwightguth/parallel

fix race condition on kompiled directory
Merge pull request #895 from kframework/fileFormat

Adding a timestamp to generated files in .k to make it easier to track the last version.
update z3 api to latest on mac os x
update linux z3 binaries
add windows binaries for z3
Merge pull request #896 from dwightguth/z3_api

update z3 api to latest
fix Cosmin's comments
Merge pull request #891 from dwightguth/separation

separate out static dependencies of core on java backend
Merge branch 'master' into uncaught

Conflicts:
	src/javasources/KTool/src/org/kframework/utils/errorsystem/KExceptionManager.java