Allow for emphasis in .doc files by using *-delimiters
Start working on porting the doc building system to SML (i.e., not Moscow ML) to get it working with Poly ML.