Simple Python library to perform a 3-way merge between strings
