TODO

   1 ==> general design:
   2 * find a name for the final program
   3 * Fix the database location problem
   4     --> use 'getEnv' and put the database in the home folder
   5
   6 ==> testing:
   7 * unit testing with quickcheck
   8 * write tests scripts for stuff we can't unit test