ping server to check if it is online or not

[esterpantaleo]

add a function to check if virtuoso is running, otherwise print error message
"Sorry, etytree is not available as we are updating the database. Please try later"