#8 Usage of newest JS library

[reinerotto]

There is a new spidermonkey JS library 8.5 from mozilla, which should be significantly faster than the older versions.
Usage of this one should be an improovement.