Changed Colorizing engine to Pygments

There are still some subtle bugs, however