Reducing the size of single or multiple PDF documents in GNU/Linux Bash and Python