[litmus] Introduce ExS, EIS and EOS variants#1716

diaolo01 wants to merge 1 commit intoherd:masterherd/herdtools7:masterfrom

diaolo01:exs-fixdiaolo01/herdtools7:exs-fixCopy head branch name to clipboard