I figured out that you can add an empire theme from the main menu-bar, Game menu, Add Theme. There's also an option in that menu to provide a new list of ship names. What about commander names? Is there any way to add to the game a new set of commander names, or modify one of the existing ones?