Philip Chimento authored Nov 21, 2017 and Philip Chimento committed May 10, 2018

This adds a --jsversion command line option that prints whatever
SpiderMonkey provides as its version. Also adds public API that does the
same, gjs_get_js_version(), in case an embedding program such as GNOME
Shell would want to print the version as well.