Massive cleanup to vector pretty printing.

I didn't know how to use super when I originally wrote this printer,
apparently. Using that makes it way, way cleaner. Also, the new approach is a
little "simpler", but it should be fine in practice.
Merge pull request #3 from gilbertgede/j_vector-print-wrapper

Massive cleanup to vector pretty printing.