Add PGI in .jenkins

Arndt, Danielrequested to merge
github/fork/Rombur/jenkins_pgi into master

Created by: Rombur

This is not ready for review

Merge request reports