2013-10-20-10.54.43: src/lib/prettyprint/big/src/: Switched code clients to be based off base-prettyprint-mill-g.pkg which wraps core-prettyprint-mill-g.pkg instead of the latter directly, in the hope of factoring client-support stuff out of the core into the base.  Also restructured standard-prettyprint-mill.pkg to be based on the new generic standard-prettyprint-mill-g.pkg to facilitate future code-reuse.