Add aha ASCII to coloured HTML converter.