Minor: improved shutdown log
HTTPP: Removed index.size() from /database because it's too costly operation on not-unique indexes
Merge branch 'develop' of https://github.com/orientechnologies/orientdb into develop