jslint...
Merge branch '2.0' of github.com:triAGENS/ArangoDB into 2.0
Fixed a caching problem in IE JS Shell