Updating SQLite to a more recent release (May 2011) supporting casting operations (used in our numeric searching)