PDF-to-text; add jpdfcat tool for testing.