removing pygmentize-bundled from server-side, and implemented client-side highlighting