1. initialize the members in the initializer list
2. added MaximaSessin::write() to simplify writing to stdout on linux and win.