rvm plugin for Jenkins CI