Added a bash script for converting asciidoc to docbook xml, and some fixes to asciidoc source
Added interfacename and guilabel support
asciidoc conversion of the skinning files
Big cleanup of the skinning tables