New formula for CppAD.

CppAD is a C++ library for automatic differentiation, in the vein of Adol-C. `make check` takes a while, hence the friendly message. There is an option to skip `make check`. CppAD builds with clang but will be extremely slow, due to the lack of OpenMP support. It's recommended to build with `--use-gcc`.