Matrix pinv: switched arbitrary matrix to dummy symbols, added examples.

At Aaron Meurer's suggestion, changed the default arbitrary_matrix of
pinv_solve to contain dummy symbols instead of regular symbols, and added
examples to both pinv and pinv_solve.