stop if upgrade is needed
Merge branch 'sharding' of github.com:triAGENS/ArangoDB into sharding