Updated LevelDb

Summary: Updated LevFormulaDb.*

Test Plan: No test plan

Reviewers: cprodescu

Reviewed By: cprodescu

Differential Revision: http://phab.code4fun.de/D23