Wordpress plugin which implements the [terminal][/terminal] tag, which allows you to include a fancy terminal div