CPPAD: Disable checks by default.

Update HEAD to point to Github.

Closes #1559.

Signed-off-by: Dominique Orban <dominique.orban@gmail.com>
cppad: add 20141101 bottle.
MUMPS: Fix a segfault on Yosemite.

Record build options for reference.
mumps: update 4.10.0_2 bottle.