Jenkins tutorial: fix file permissions

Set to 644.