adding Package::Pool headers to two bindings that were missing it
Merge pull request #15 from KWARC/mylatexml

 adding Package::Pool headers to two bindings that were missing it