Adding a script to convert from AsciiDoc to HTML