ssh/config: remove jenkins config