Update CMakeLists.txt files
Rename namespace Plasma to Seeding
Use uppercase letters for values of enums
Sort elements in rev_map_t by descending key
Erase at the end as rev_map_t is sorted descending
Fix: erase lowest scoring candidate
Only insert when score > worst or n_candidates < max_n_candidates
Fix generalizations
Merge branch 'master' into elaborate_seeding