Added kochi-substitute entry in all-packages.nix.