Updated set-info files for Cyclist to distinguish sat and ent papers/problems. Also updated patches to current version of Cyclist.