pdf-tools 0.20 (new formula)

a very useful pdf tool for emacs