Unicode

- The configuration file now supports JSON encoding of Unicode characters, by
  specifying \uNNNN.