Python server and JavaScript client talking via stdin/stdout to highlight code using the pygments highlighter.