update for casadi compatibility (ccs sparsity, sx->sxelem, sxmat->sx)
add (>==) to NlpMonad
totally refactor NlpSolver to be a typeclass, where snopt and ipopt are instances
minor Vectorize Generic comments
use -XPackageImports for mtl
server now only uses last value from the Queue to avoid traffic jams