Собственно, Барабас - это Варрава. А Карабас - искажённое тюркское "карабаш". То есть "черноголовый Варрава". Вот только что это означает?