Fixed 2 bugs on counting the elapsed time of queries.

* Changed System.Time to System.CPUTime, thus dropping a package from the dependencies;

* Results in Search.Interpreter now go through a monadic function. Its results are strictly evaluated so time will be correctly accounted.