Function removeExtension

src/util/file.cc:406–412

  return join(elems, "/");
}
string removeExtension(const string& file) {
  auto elems = split(file, '.');
  if (elems.size() <= 1) return file;
  if (elems.back() == "gz" && elems.size() > 2) elems.pop_back();
  elems.pop_back();
  return join(elems, ".");
}

bool dirExists(const std::string& dir) {
  struct stat info;