nixos: rename configs to make them look nicer
nixrc: various fixes