Revision 370

Make logging configureable
redirect stdout/err to the logfile rather than "outfile" (nothing should ever get there);
redirect stderr to /dev/null when calling Mixmaster