Run predicate/reachability tests in CI

• Only test/programs/simple?
• Definitely include copies for test/programs/cpalien/enum-{sign,size}.c.

added ci label

mentioned in issue #28

mentioned in merge request !15 (merged)