Added option for downloading devops.jar