Logger tuning support

[jbayardo]

RocksDb supports setting a custom Logger, which is useful to -for example- stop logging completely. I think this can be done today via the SetInfoLogLevel function (using values from here), but I'm not entirely sure of this.