Add migration script from MySQL to SQLite

An initial version of a migration script to port existing users to
SQLite.