use standard c++ getline instead of old Moses SAFE_GETLINE