add isTestOk, tested, testMap, testFailed

and testPassed in model.scala
and testCase0.scala and testCode0.scala in examples