Sqlite bindings updated to work with latest Idris and on Linux

Issues fixed:
1. Type class hierarchy (Functor => Applicative => Monad)
2. File name case sensitivity (filenames now match module names in case)