Change port numbers of dev servers

Because 9000 is used by another one I’m running regularly.