add option to allow multiple instances (closes #33)

src/itdelatrisu/opsu/Options.java

@@ -134,6 +134,8 @@ public class Options {
 	/** Port binding. */
 	private static int port = 49250;
 
+	private static boolean noSingleInstance;
+
 	/**
 	 * Returns whether the XDG flag in the manifest (if any) is set to "true".
 	 * @return true if XDG directories are enabled, false otherwise
@@ -279,6 +281,15 @@ public class Options {
 					port = i;
 			}
 		},
+		NOSINGLEINSTANCE ("NoSingleInstance") {
+			@Override
+			public String write() { return noSingleInstance + ""; }
+
+			@Override
+			public void read(String s) {
+				noSingleInstance = !"false".equals(s);
+			}
+		},
 
 		// in-game options
 		SCREEN_RESOLUTION ("Screen Resolution", "ScreenResolution", "Restart (Ctrl+Shift+F5) to apply resolution changes.") {
@@ -1492,6 +1503,8 @@ public class Options {
 	 */
 	public static int getPort() { return port; }
 
+	public static boolean noSingleInstance() { return noSingleInstance; }
+
 	/**
 	 * Returns the cursor scale.
 	 * @return the scale [0.5, 2]