Move /nix/var/ceh_nixpkgs to /opt/ceh/nixpkgs
Reinit derivation hashes for the nixpkgs move
Add java flavors, nc-indicators and agda-mode to install-world