Renamed fragmented_preferences.xml to preferences_fragment.xml
Merge branch 'master' of github.com:guisalmon/webots-remote-control into dev/Preferences