Added convenience extend function
Cleanup: minor nit
Be explicit in pref comparisons
Store dictionary stats in preferences

A single JSON-encoded string is enough for storing counters.

This commit includes:
  - Migration code away from the SQLite-based backend
  - Code to generate the UI bits

Fixes #16
Don't duplicate data and small cleanups
Added Microsoft Language Portal lookup
Version 4.0