// returns (jar, transpiled src)
static Pair<File, S> compileSnippetThroughServer(S progID) {
  S transpiledSrc = getServerTranspiled2(progID);
  byte[] jarData = loadBinaryPage("http://www.botcompany.de/1020140/raw/" + psI(progID) + "?md5=" + md5(transpiledSrc));
  if (!isJAR(jarData)) {
    print("fallback to CompilerBot");
    ret CompilerBot.compileSnippet2(progID);
  }
  
  S md5 = md5(transpiledSrc + "\n" + progID);
  File jar = CompilerBot.getJarFile(md5);
  saveBinaryFile(jar, jarData);
  ret pair(jar, transpiledSrc);
}