Editor: implement renaming tile pattern ids (#559).

This is not finished: we need to automatically update existing maps when
changing a tile pattern id.