Docker Jenkins slaves

For every platform a separate branch is available. Every push on the branch triggers a build on Docker Hub