Handle JENKINS_HOME not being set; remove sf-4-1-02 from jenkins host list; add comment to warn that this is for precise only