Added TextDotFont and TextDotHeight to rhinoscriptsyntax. Fixes #107