Use jquery.terminal

* See https://github.com/jcubic/jquery.terminal