Added reference to useful bash tools