OpamSystem.translate_patch ensures the CRLF and LF files play nice with each other on different systems. Currently a second patch parser for this purpose is located in the translate_patch function but it would be nice to integrate this into the patch library itself as a builtin feature, which would allow us to remove some code and be way more efficient.