PDF Tools for Developers: Libraries