Added POPLib submodule