sage-dev: finish up doctests for user interface
sage-dev: fix a lot of doctests in trac_interface