Effective ATS:
IPC based on Redis

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