db package now uses Leveldb (with levigo) instead of kv, now server is more stable
Fixed a client-side bug (FakeFile reader)