File timer.cpp

This file contains an efficient timer class, which is used to retrieve execution times for various parts of the algorithms.