Better hover messages
Various refinements to text hover
Small stuff
ADDED: Number solutions
ADDED: Next 10/100/1000 buttons.  Requires GIT version of SWI-Prolog.