[be] bibledit 3.9.56 available in git repository

[teusjannette]

Editor2: A lot of objects and code were tidied up
Editor2 redo implemented
old undo/redo stuff was purged out
Editor2 : Fixed: Some widgets were destroyed twice
Old scripting part was removed. It prevented saving the configuration
Editor2: Connect the style controls so that these display at the bottom of the 
EditorWindow
Editor2 functions naming consistency