Finish PCA example

- eignvectors are backwards from L. Smith's paper, but
  this looks accurate, as the final graph is closer to
  what we'd expect. It's just reversed in X from the
  paper, which probably depends on which orientation
  the math package returns the vector

- all the math is pretty ugly, and might do for
  using ImageParam to simplify and make the multiplications generic