Math tokenizer

To search the database for formulae, it would be great to have a tokenizer generating a "stemmed" canonical form. This can be done both in [SQLite](http://www.sqlite.org/fts3.html#tokenizer) and [PostgreSQL](http://www.postgresql.org/docs/current/static/textsearch-controls.html).
