model-checking: add missing showfailed etc. rules

tests/model-checking/Makefile.am

@@ -13,6 +13,7 @@
 #
 # See the GNU Lesser General Public License in COPYING.LGPL for more details.
 #
+include $(top_srcdir)/starpu.mk
 
 EXTRA_DIST =				\
 	platform.xml	\