re-add get_file method

corrlib/tools.py

@@ -19,6 +19,15 @@ def k2m(k):
     return (1/(2*k))-4
 
 
+def get_file(path, file):
+    if file == "backlogger.db":
+        print("Downloading database...")
+    else:
+        print("Downloading data...")
+    dl.get(os.path.join(path, file), dataset=path)
+    print("> downloaded file")
+
+
 def record2name_key(record_path: str):
     file = record_path.split("::")[0]
     key = record_path.split("::")[1]