Update doc with new version for MapDB 0.9.3