Add Mongovel repository