Added "crop_margin" setting so that the cropped document
may have a margin that is not zero. Changed the "margin"
setting to "papermargin" to reduce ambiguity and also to
make it consistent with other paper settings.

New version is 0.1.4.