Added manual pages for disnix-nixops-client,disnixos-manifest,disnixos-instantiate,disnixos-collect-garbage and updated all manual pages with the new options