jenkins: Add Jenkins Docker slave configuration files

Scripts and configuration files to set up Docker images which can be
used as dynamically-created Jenkins build workers through the Jenkins
Docker plugin.

Signed-off-by: Euan Harris <euan.harris@citrix.com>