nix: cleanup
nix: libc log_terminal
nix: changes to ports, genodeEnv/setup, new library gmp-mpn