Section on linear channels for IPC is available

FYI.

I have added into the Intro-to-ATS book a section on implementing linear
channels for IPC:

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/INT2PROGINATS-BOOK.html

It is currently at the bottom of the above page.