update unicode tables
logging improvements
integer-gmp updates
detect newer jsshell