Version 13-4-23

Per usual, tweaks and fixes.
Doors can now be selected with the door tool
Ship Properties window minor redesign
System properties window now behaves differently for player/enemy ships
Option to include mods to be used in the editor.
Gib animation fix