manipulate pdf files with command line on terminal