gh-pages: update URL of galaxy demo server.