Update to recent version of rhino-shell and standard lib