Shadow PI from CL.

One of the CUDD functions has "Pi" as a parameter.  On SBCL, at least,
this causes a crash during compile, as it clashes with the package lock
on CL:PI.
Ignore fasl files.