Best Python 3 to Javascript translator written in Python that produce fast portable javascript code