Added an Acknowledgments Section.

This is to credit Sai Zhang for his help with Palus, although we did not
use the tool.