Factored TerminalNotifier into tvm/shared under notification.py #20