Nephtali debugging features now documented

Although they’ve been around for a long time, I’ve done a poor job of documenting the debugging capabilities built in to Nephtali. Although very basic, the debugging features have helped me on many occasions, speeding…