chore: remove unused file_path_exists

Signed-off-by: David Wallace <david.wallace@tu-darmstadt.de>

rdmo/core/imports.py

@@ -4,7 +4,6 @@
 from collections import defaultdict
 from dataclasses import dataclass, field
 from os.path import join as pj
-from pathlib import Path
 from random import randint
 from typing import Callable, Iterable, List, Optional, Sequence, Tuple, Union
 
@@ -41,10 +40,6 @@ def handle_fetched_file(filedata):
     return tempfilename
 
 
-def file_path_exists(file_path):
-    return Path(file_path).exists()
-
-
 def generate_tempfile_name():
     t = int(round(time.time() * 1000))
     r = randint(10000, 99999)