jenkins: use RxJS for Jenkins service