bf: don't run the fully blown distcheck.
bf: don't run the fully blown distcheck.

	* buildfarm/check: That would run both check and installcheck,
	that's way too costly.
	But in exchange, do run the installcheck test suite.

aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,aldebaran/urbi,aldebaran/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,urbiforge/urbi