Update definition of tree depth

Summary
-----

Update definition of tree depth to count partially completed subtree
and not just fully completed subtrees.  Also included an explicit
count of number of leapfrog steps computed.

Intended Effect
-----

Slightly different behavior in treedepth__ diagnostic, new
diagnostic n_leapfrog__.

How to Verify
-----

Run any model, note that 2^{depth - 1} - 1 < n_leapfrog < 2^{depth} - 1.

Side Effects
-----

stan_csv_reader_test is deprecated, but this was an existing issue.  Otherwise unit tests pass.

Documentation
-----

Introduction and Command chapters updated.

Suggested Reviewers
-----

Anyone.