Import pgsolver as git submodule
A parity game solver that will be used to solve games arising from the
- Adds a new submodule under `vendor/` for pgsolver. Linking without
including it in the source proved difficult at the moment.
- Adds a new library `libpgsolver` to _oasis that contains the files
from pgsolver that we need in cool.