Rotate around arbitrary coordinate

This PR makes it possible to rotate the view around any geographical position. This is useful for a navigation system where the current position (obtained through the geolocation API) is not displayed on the center of the map.