Update elio conf
Merge branch 'master' of ssh://elio.math.unifi.it/~/Repos/Git/nixconfs