CMakeLists: use cplex_libraries instead of listing them separately