Python interface for coding html in real time