python html5 js javascript web gtk linux ubuntu