README: more code highlighting