Optimizing SQLite for servers