Add some syntax support for sptreeTheory.

Pretty-printing can be enabled with

sptreeSyntax.temp_add_sptree_printer()

and disabled with

sptreeSyntax.remove_sptree_printer()