Move modelchecker testcases in directory gringo.
Remove target tests/asp/modelchecker.
Remove warning in target release.
Report FAIL if STDERR is not empty.