Mark passing concurrency test as such

The issue that had been reported back in diffblue#303 has been fixed in
f56466c.

Author: tautschnig

regression/cbmc-concurrency/stack1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE pthread
 main.c
 
 ^EXIT=0$