Add OpenBUGS to sage vagrant.