devel.but: TRUE->true and FALSE->false; remove incorrect paragraph.

The `incorrect paragraph' is the one saying that puozzles.h defines
TRUE and FALSE.  Nothing defines them now as far as I can see;
everything uses true and false instead.