widget-editor: Replace margin right/left for end/start
They have been deprecated for some time now and break RTL languages.
This works implements margin-end and margin-start and deprecates margin-left and margin-start.
All four properties are shown to be able to upgrade from previous gtk3 versions, ideally this will be gone when Glade moves to gtk4.
Closes #319 (closed)