Do not run version-check.js at relaunch.

Rationale: We cannot possibly know the right authentication
because the owner of the cluster might have changed the password.
Also, it is not necessary to run the script.
Merge branch 'devel' of ssh://github.com/triAGENS/ArangoDB into devel
Merge branch 'devel' of ssh://github.com/triAGENS/ArangoDB into devel