A library for developing GUIs for python applications in javascript + HTML