Drop Jenkins setup

Using Travis seems to be good enough for us, so let's drop not used
Jenkins hooks.