Update jshol.py