Fix repository name to gen vmdk

Signed-off-by: Carlos Aguado Sanchez <carlos.aguado@epfl.ch>
Fix cvmfs repository name for bbp

Signed-off-by: Carlos Aguado Sanchez <carlos.aguado@epfl.ch>