Timing

Adds a simple Timer class that allows recording events identified by a string label, where events of the the same label are automatically aggregated. Allows writing a summary to file or printing to stdout. Provides convenience functions `tic`, `toc`, `summary` etc.