added virtuoso server (see Virtuoso Readme.txt for details)