Use checkout managed by jenkins instead of cloning from the web

This maps the jenkins checkout into the container at /workspace in
read-only mode and copies it in to /mojo/src/. This avoids doing an
extra checkout and makes sure it builds the checkout jenkins found.