Add mint codename to Ubuntu codename mapping