Fixed issue #2196 about caching user and roles to speed up the db.open(). Introduced 2 new global settings: SECURITY_MAX_CACHED_USERS and SECURITY_MAX_CACHED_ROLES.
SQL parser now uses Double if the decimal value is out of float range
Fixed bug on db.delete() when rid is not valid
SQL: Improved performance when no group by is used
HTTP: Updated benchmarks to use last GratefulDeadConcerts