fix of the update query to the staging repository
change of the address of the staging repository and discovery repository
Merge branch 'master' of https://github.com/virtual-repository/virtual-semantic-repository.git