Added QuadraticProgram description and implementation of interface to Augmented Lagrangian solver. Compiles, but untested.