Remove leftover Jenkins files

Travis has replaced Jenkins, but there was some cruft left over.