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:36
State: resolved
Subject: Combine iadd and iupdate
Message-Id: <b8ff87c45b490683-0-artemis@metatron>
resolution: fixed
Combine iadd and iupdate commands into one