Reimplement pginfo on top of the Boost Graph Library.

All algorithms that were implemented before have been implemented, except for the computation of alternation depth, that did not correspond to any of the alternation depth descriptions in the literature anyway.

Some additional algorithms have been added as well, along with some test cases.

TODO:
* Document the code
* Fix up the implementation of the main pginfo program.