Paginate choice prompts (APPENG-2936)

Adds a getTermalSize() function to UserInterface and uses the termal
height to control the page size for paginating long choice prompts.