Remove line that access $no_self_trace in hotcode.py.
Merge branch 'dev' into web.py