update JSHInt 0.9.7.20130526-1111, NJSDT+NJSDoc option