Updates: Ja2_Options & XML Editor compatibility

1. Update Ja2_Options for 1.13 revision 2015+
2. Update Ja2.ini for 1.13 revision 1917+
3. Fix crash for XML Editor missing restraint.