strings.py: Added replace_all() and replace_all_re(), as well as flip_map() for use with maps for these functions
strings.py: Added replace_all() and replace_all_re(), as well as flip_map() for use with maps for these functions