Add LevelDBStoredMap, a Map implementation backed by LevelDB

This is a first commit. The implementation passed some very basic
testing, but it might still contain bugs.

Comments and documentation are also still to come.