Replace data CSV with SQLite database

This seems to be the best balance between file size and ease of
querying.