Makefile.am: add mic-configure to dist file

Makefile.am

@@ -122,7 +122,7 @@ txtdir = ${prefix}
 else
 txtdir = ${docdir}
 endif
-txt_DATA = AUTHORS COPYING.LGPL README STARPU-REVISION
+txt_DATA = AUTHORS COPYING.LGPL README STARPU-REVISION mic-configure
 EXTRA_DIST = AUTHORS COPYING.LGPL README STARPU-VERSION STARPU-REVISION build-aux/svn2cl.xsl
 
 DISTCLEANFILES = STARPU-REVISION