Mission fleet renamed / optimized

[SirEmi]

- The mission ships have been renamed like on the test server, pirate and cool ship names.
- The fleets used in missions are now fleets that do not belong to anyone as they have been sold / deleted and were kept by the system. There is now a big enough base of models that can be used in every mission / encounter. They will be periodically updated with new designs as they are produced by commanders.
- Some optimizations where made to find the mission fleets faster, while reducing load on the servers by indexing them, should notice slightly faster mission battle report times.
- Mission fleet names are unique, and they can be cloned from the Gold Account interface as usuall.

God Speed commanders!