Added newlines to test files

lib/galaxy/datatypes/test/test_file1.pithya.property

@@ -7,4 +7,4 @@ low  = E2F1 < 3
 :?stay_high = AG high
 :?reach_high = EF high
 :?reach_low = EF low	
-:?bistability = reach_and_stay_high && reach_and_stay_low
+:?bistability = reach_and_stay_high && reach_and_stay_low

lib/galaxy/datatypes/test/test_file3.bcsl.ts

@@ -152,4 +152,4 @@
         "11": "(0, 1, 1, 0, 1, 0, 0, 0, 1)",
         "12": "(0, 0, 1, 1, 0, 0, 0, 0, 1)"
     }
-}
+}

lib/galaxy/datatypes/test/test_file3.ctl.result

@@ -1,2 +1,2 @@
 Result: True
-Number of satisfying states: 31
+Number of satisfying states: 31