Tools can now switch between surfaces, which implies the emission of wl_tablet_tool.proximity_in/out events.
This struct holds the server-side information of a wl_tablet_tool, which represents an specific tool of an specific tablet, and is unique as such.