Public alpha 154

• conventions for printing spaces around unparsed tokens made uniform
• fixed bug where set print const with sorts on . did not work for built-in constants in terms
• new with-sorts PrintOption constant
• added metaPrintToString() descent function
• added printToString() message
• metaPrettyPrint() descent function supports concealed argument lists via an extra argument
• printTerm() message supports concealed argument lists via an extra argument
• concealed argument lists support for printing terms in modules
• fixed bug where color for terms in modules produced bad LaTeX
• fixed bug in LaTeX for disambiguation of iter operators