closes #11: optimize html v2 size a little#16

davidmalcolm merged 9 commits intodavidmalcolm:masterdavidmalcolm/gcc-python-plugin:masterfrom

bukzor:optimize-htmlv2-weightbukzor/gcc-python-plugin:optimize-htmlv2-weightCopy head branch name to clipboard