chore(library/data/quotient): rename aux.lean to util.lean (fix problem with cloning lean repository on Windows machine)

See
http://stackoverflow.com/questions/3689137/error-git-checkout-index-unable-to-create-file
for additional details