These files are here to satisfy the MPL with regards to my distribution of a custom version of SpiderMonkey.  See http://www.mozilla.org/js/spidermonkey/ for information on how to download, build, and use SpiderMonkey.