Add a simple awk script to divide a given column by a given
divisor.