SERVER-9775 Remove SpiderMonkey