Fixes #23 - link to Jenkins tutorial broken