farlook of engravings

Report headstone engraving when using farlook to examine a grave:
| a grave (grave whose headstone reads: "foo")
or
| a grave (grave whose headstone you haven't read)

Make the farlook of ordinary engravings operate more like farlook of
other things:
| a boulder or a statue or an engraving (engraving with text: "bar")
rather than
| a boulder or a statue or an engraving with text: "bar"
The "or a statue" phrase will now be suppressed because statues aren't
shown as backtick anymore, so the parenthesized form isn't quite as
long as it would otherwise have been.  If OPTIONS=boulder:symbol is in
use, the "a boulder" part will be gone too.
| an engraving (engraving with text: "bar")
or
| an engraving (engraving that you haven't read)

Make quicklook include engraving text.  It's quick because it doesn't
ask the player to pick additional spots or whether to look up relevant
data.base quote, not because it skimps on useful information.

Autodescribe still does not include engraving text.

doc/fixes3-7-0.txt

@@ -2337,6 +2337,7 @@ allow #dip potions into a sink to get a hint about what they are, similar to
 	dropping rings into a sink; dipping other stuff causes water damage
 	so could be used to blank out scrolls and books
 when restoring, show current level's player-applied annotation if there is one
+have farlook of a grave report the engraving on the headstone if it's known
 
 
 Platform- and/or Interface-Specific New Features