Added CSparseCholesky linear solver
Added vertcat/horzcat/blkdiag for CRSSparsity (crssparsity_tools)
Implemented a naive version of SOCPQCQPSolver

Uses cholesky and hence assumes positive-definiteness. Positive semi-
definiteness is not enough.
automatic documentation update
automatic casadibot merge