Embed some jenkins configuration

Set MESOS_MASTER in the environment at runtime.

Change-Id: I2544e1d431271caec4bc0be60ff7b5086dde704a
More jenkins config options

Change-Id: Id55e63d9f7e50b475b8107c8e9493cc6a6b801d7