Fix python benchmark

At last, it works!

However, there is a serious AtomSpace performance bug; I think it has to do with thread scheduling ... see diary entry for details.