studentize: do not pollute stdout.
studentize: do not pollute stdout.

	* build-aux/studentize (report): New.
	Use it to send verbose messages to stderr, since when fed on
	stdin, we answer on stdout.

aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport