PDF-Dateien mit Leerseiten durchschießen, Bedienung von GNU/Linux per Kommandozeile