Automate generation of NaCl Manifest.