Pin nginx to the nginx-stable PPA.

This ensures that the Jenkins machine installs nginx from the nginx PPA, not from the brightbox PPA.

Fixes #795.