New formula for IPOPT.
New formula for CppAD.
quast: Update the SHA1
Update ceres-solver.rb to version 1.8.0

1. Fix Mavericks breakage.
2. Add the ability run test (on by default) (thanks @dpo)
Update MUMPS formula for Mavericks.
Update ceres-solver to 1.8.0

- Fix for Mavericks
- Add tests
- Build shared libs.
Merge pull request #489 from dpo/mumps

Update MUMPS formula for Mavericks.
New formula for ASL.

ASL is the AMPL Solver Library and allows optimization solvers to
interact with models written in the AMPL modeling language
(www.ampl.com), one of the most common modeling languages used in the
optimization community.
Merge pull request #393 from dpo/asl

New formula for ASL.
Merge pull request #416 from dpo/ipopt

New formula for IPOPT.
Merge pull request #440 from dpo/cppad

New formula for CppAD.