Zejun Wu authored Dec 29, 2018 and Ben Gamari committed Jan 16, 2019

Introduce ghci command wrapper, which can be used to cutomize ghci:
* process additionals actions before/after the command
* handle particular exceptions in given ways
* logging stats

We also split the timing and printing part of `timeIt` into different
functions.