Adding port 80 -> 8080 forwarding for Jenkins.
Merge pull request #535 from ycombinator/jenkins-port-fwd

Adding port 80 -> 8080 forwarding for Jenkins.