Surfc equivalent? Plotting contour underneath surfacep plot

[j_verzani]

There is an example on this page using plots: https://github.com/jverzani/CalculusWithJulia.jl/blob/master/CwJ/differentiable_vector_calculus/plots-plotting.jmd#L243

But other plotting packages can render these better.