python gui library based on HTML and so, platform indipendent