This MR adds a tap gesture to the entries in the machine and server lists. We should decide if we want to use this method of navigation on mobile and the original button desktop. We could also keep the button on mobile and see the tap gesture as an additional way of navigating.