Added support for choosing bonphy strategy in the GUI.
Merge remote-tracking branch 'origin/master'