Added the dotbracket_to_element_string.py script.