v4.0.1 - typo fix

previous release: v4.0.0
v4.0.0...v4.0.1

See v4.0.0 for more recent changes.

Changes:

• fix native name typos and cement Shavit_AlsoSaveReplayTo 8d6e992
  • shavit-replay-recorder creates the Shavit_AlsoSaveReplayTo native, but the header file had the name as Shavit_AdditionalReplayPath.
    Shavit_AdditionalReplayPath was probably what I intended to use but I don't remember. The name is fine, so keeping it as Shavit_AlsoSaveReplayTo means less churn for other plugins.
  • Also makes sure the sucker is marked as optional for plugins that don't depend on bhoptimer but may want to use if available (e.g. for alt timers).