Effective ATS:
IPC based on Redis

• main.html
• Makefile
• params.hats
• testlib.dats
• msgchan.sats
• msgchan.dats
• redisContextSetup.dats
• test_up.dats
• test_dn.dats