Improved CP normalization algorithm.

 * CP normalization is now based on a resolution-like matching of
   clauses, rather than on applying cut transformation rules directly.
   docs/fastnorm.tex provides a terse overview of the process.

 * CP interpreter no longer attempst to produce GV versions of recursive
   processes, avoiding errors.

 * Added module name to CP interpreter to avoid two Main.o's.