SMG: add tests for singly linked lists with colored elements

SMG: add 'garland' tests for singly linked lists with colored elements

Rename the two tests for colored lists. Use a test for green elements with stored numbers, a test for red elements without data, and add a 'colorful' list with randomly colored elements. Update the CI results.

For the colorful list test, add two yml to match property option: We use color to check color compatibility, so main .yml should have false, as random elements allow storing wrongly colored pointer. Add another yml and new tasks in xml for the same test without checking for color compatibility. It would be more straightforward to make separate properties for not/checking color compatibility, and for not/allowing colored memleak, too.