Starboard’s Smith says Tripadvisor should consider selling its restaurant booking platform