Rollback removal of cvxopt dependency

as occurring in commit ccea895cfb27976e86c3e98b7b0941781eb13d67.
Relevant discussion is in issue #48, concerning versions of
dependencies.