scripts: chmod +x for asciidoc2html.py