tell gitlab ci to use the shell executor

this is actually a bit sad since I don't want to specify in my repo which runner to use. It should be possible with docker and shell executor
2 jobs for master in 3 seconds (queued for 4 seconds)
Name Stage Failure
pdf Test
No job log