improvements to docking and other misc fixes

Significantly improves docking. ships now dock the right way round in most instances, and in correct size bays, and when docked are correctly aligned in their bays.

Problems remain; Still haven't managed to make sure that ships don't miss the docking plane and clog up entrances and exits, still the occasional traffic pile ups with ships crashing into each other, but these are now less common.