[coreboot-gerrit] Patch merged into coreboot/master: util/docker: Add docker files for coreboot-sdk & jenkins builders

the following patch was just integrated into master:
commit f75d1dfad3691562110a70523ad892b8fa480064
Author: Martin Roth 
Date:   Mon May 16 11:27:56 2016 -0600

util/docker: Add docker files for coreboot-sdk & jenkins builders

Add the coreboot specific docker configuration files to the coreboot
    repo.  These have been copied directly from Patrick's repo where they
    had been being stored.

- coreboot-sdk: debian sid with the coreboot toolchain
    - coreboot-jenkins-node: built on top of the coreboot-sdk, adds the
    pieces required for building everything with the coreboot jenkins
    builders.

Change-Id: I8628d4edb298264e814e02e124a8bfb4bc04e0c7
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/14830
    Tested-by: build bot (Jenkins)
    Reviewed-by: Alexander Couzens 
    Reviewed-by: Patrick Georgi

See https://review.coreboot.org/14830 for details.

-gerrit