IPoIB support on debian10

j'ai modifié pour que g5k-postinstall utilise le vrai nom de l'interface infiniband au lieu de mettre ib0 il reste a faire la modif en fonction de la version d'udev