Check filesize when optimizing PDFs

In some rare cases, the resulting file is actually larger than the
original, so we would want to keep the original PDF in those cases.