updated virtuoso recognition: changed regex for "Server" header, which is more reliable than using `/sparql`
