code: function readDotEnsimeValue(from, key) {
    var r = new RegExp("\\s*:" + key + " \"([^\"]*)\"\\s*$", "m");
    var m = from.match(r);
    if (m) return m[1];
    else return undefined;
  }
docs: Extract a value from the .ensime content. Does not cover all cases!