add manual page crop for pdf/djvu documents
use hold_release event to cancel page crop
move BBoxWidget to bbox.lua in ui directory
cleanup unused debugs
add current bbox in page rendering hash
So that changing bbox could take effect on current page.
hash current bbox explicitly
Merge pull request #734 from chrox/man-crop

add manual page crop for pdf/djvu documents