DOC: New section of the User's Guide about exporting controllers

In this commit, it only includes dumpsmach.python_case().  However,
the overall style is apparent in anticipation of adding new routines!