Fix documentation of sol.menu.is_started().
Change the format of strings.dat. Fix #170.