With so many great Edinburgh restaurants to choose from, we’ve taken a look at the top 10 best in the city according to TripAdvisor reviews.