Added Rhino optimization level to the maximum (-Drhino.opt.level=9)
Merge branch 'develop' of https://github.com/orientechnologies/orientdb into develop