Use .srt subtitles instead of the legacy format

[mt3d]

In their current format, the subtitles are hard to edit or translate. They cannot be read by any subtitling software, and to adjust their timings you have to convert them manually to a common subtitling format back and forth. Moreover, if you want to break long sentences into several lines, each line will appear as a separate string in Crowdin, which makes translating them harder.

Example:

x y 49 54 ("Disease and famine claimed most of us")
x y 0 0 ("who had survived the nuclear strikes.")

To fix this, the game will now use the widely-used .srt format, and for translation, GNU's gettext will not be used anymore. Instead, the each file will be added separately to Crowdin.

Summary of the changes:

• Add several auxiliary functions to keep the code of the parser short and clear. These are split(), crossPlatformGetLine(), and srtTimeToSeconds().
• For each sequence, getSubtitleFile() will look for a subtitle file that match the current selected language, or will fall back to the English original.
• The parser is written mostly in C++ to increase the readability, and a portion of the old C code was rewritten in C++ to avoid directly manipulating characters and memory, and the out-of-bound errors associated with this.

Remaining steps:

• Convert all old subtitles from .txt to .srt.
• Remove the old subtitles and strings from the .po files, and add the new files to crowdin.yml.

[berserkingyadis]

Is there something wrong with this PR? @mt3d

[mt3d]

Is there something wrong with this PR? @mt3d

@berserkingyadis I made a mistake and accidentally deleted the branch. Anyway, everything is okay now. Thanks for asking.

[past-due]

@mt3d Do you happen to still have the script you used to pull the translations from the .po files and convert them to the .srt?

Would be incredibly helpful for rebasing this.

[KJeff01]

@mt3d A ping to see if you can answer the above.