Port Lamdu to use sophia
Rename codeedit.db -> codeedit.sophia