Upgrade to jquery.terminal 0.8.6
Process ANSI colors with ansi_up library

From http://github.com/drudru/ansi_up

Thanks for the MIT, Dru! Who da man? Dru da man! Who? Dru!