nightly update, version 1-2-13

fixed shield alignment on enemy ships, UI elements being out of place if
font size was changed in OS, movable elements can now be pinned down,
among other things.