Add ability to process units of px in \\[...] (not particularly accurate, however).  Issue #890
Make px-per-inch configurable and use 72dpi (pt = px in this case)
Merge branch 'issue890' into develop.  Issue #890.