rename aux directory to contrib
On Windows, aux is a reserved name and can't be used for files or directories.
From: Dmitriy Morozov <morozov@cs.duke.edu>
Date: Tue, 22 Apr 2008 07:21:57
State: new
Subject: Colorize output
Message-Id: <edb1a7697e0f1e24-0-artemis@metatron>
Allow one to colorize output. Naturally with user-customizable colors.