New formula for TAO.

TAO is a toolkit for optimization that builds upon PETSc.

Closes #335.
New formula for SLEPc.

Closes #334.
New Formula: graph-tool 2.2.28, HEAD