Convert swh-docker-dev job from freestyle to Pipeline

In order to more easily lock a shared resource in the future, let’s
convert the swh-docker-dev job from a freestyle Jenkins job to
a declarative Pipeline job.