Linux compatibility and Idris updates

The SQLite bindings now work on case-sensitive filesystems. Additionally,
they've been updated to work with the latest Idris stdlib.
Minor style and readability updates
Minor formatting and readability updates
Merge pull request #296 from david-christiansen/sqlite

Sqlite bindings updated to work with latest Idris and on Linux