Move exectuor to executor_old
tmp
Merge branch 'master' of https://github.com/webgme/webgme-domain-tools
tmp123
Merge branch 'master' of https://github.com/webgme/webgme-domain-tools into tmp
Work-in-progress executor worker. Hangs at unzipping
executor_worker client
Use 7z.exe to unzip. Fix executor update REST call
executor_worker: update status on server in all cases. Minor bugfixes
executor_worker: bugfix, dont send() twice
Add support for multiple result-artifacts.
ExecutionPackageGeneration.js: update to use updated API
ExecutorWorker cleanup
Merge remote-tracking branch 'remotes/origin/executor-worker'

Conflicts:
	src/plugins/Examples/ExecutionPackageGeneration/ExecutionPackageGeneration.js
	src/rest/executor/Executor.js