Removed extraneous import

Author: ThomasHaas

svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java

@@ -24,7 +24,6 @@
 import java.util.EnumSet;
 import java.util.stream.Collectors;
 
-import static com.dat3m.dartagnan.configuration.OptionInfo.collectOptions;
 import static com.dat3m.dartagnan.configuration.OptionNames.*;
 import static com.dat3m.dartagnan.utils.ExitCode.*;