Adding port 80 -> 8080 forwarding for Jenkins.

Fixes #533.