Merge branch 'master' into 'master'

add jrdc and jsf

See merge request !1

mask-tools.py

@@ -22,6 +22,16 @@ SYSTEMS = {
 		'cores': 96,
 		'cores_per_numa_domain': 24,
 		'smt': 2
+	},
+	'jurecadc': {
+		'cores': 256,
+		'cores_per_numa_domain': 16,
+		'smt': 2
+	},
+        'jusuf': {
+		'cores': 256,
+		'cores_per_numa_domain': 16,
+		'smt': 2
 	}
 }