clarify contraction behavior and -cl-mad-enable

[bashbaug]

OpenCL contraction behavior is complicated, especially the interaction between #pragma OPENCL FP_CONTRACT and the -cl-mad-enable build option, and the subtle difference between an fma and a mad. We should try to clarify the contraction behavior, perhaps via some informative notes, so it is a little less confusing.