Configure jenkins url in jenkins config.

Fixes #4