Google launched in the coming months its HTML5 development tool