Version bump to 1.13.3.
Added `--verbose` flag for debugging output in PDF production.

Closes #1840.
Closes #1653.