Install versioned static library

This is to avoid any name conflicts, when multiple versions of spidermonkey are installed