If RemoveEmptyStaves is called twice (e.g. an include file with global
settings is included twice), two Hara_kiri_engravers would be added,
which leads to a warning.
This patch makes sure that no previous Hara_kiri_engraver is left
before adding a new one.