csplint improvements #6

Moved from old Google Code repository:

Ensure readset / writeset checks work with ALTs and sequences of channels.

Add checks for:

• @process / @forever not used on a method
• Skip() as first guard in an ALT which uses pri_select()

Comment 1 by project member mount.sarah, May 10, 2010 From some ancient notes on this topic:

• Ensure that .start() is always called on Par / Seq combinators
• Ensure that every channel gets passed to more than one process