[core.cache] prototype of SQLite-based cache region
[core.cache] add 'set_default_disk_region' method
[core.cache] do not fail if key is already present in SQLiteRegion.set
[core.cache] limit size of SQLiteRegion cache regions
[core.cache] make SQLiteRegion more robust in case of concurrent access