Merge branch 'ci-use-precise-pocl-device' into 'master'

Gitlab CI: be specific about which pocl device to use

See merge request inducer/loopy!394