Remove jenkins permissions when leaving project

Remove a user's permissions for the corresponding Jenkins job when he leaves a project.

Depends on some fixes in jenkins-ws-client v0.10 (equals implementation for UserImpl, among others).