[Build] Run NASA PathFinder model checker verification tests as part of

ANT build (target test-verify).

The model checker verification is wrapped in a Junit test. Thus, if
verification fails, it shows up as a Junit failure which is
automatically included in our build reports.

The verification test runs also out of the box in Eclipse (Run As Junit
test...).