Add bookmarks in record files

Plugins can leave named bookmarks in records while a player is recording and skip to that bookmark while playing back.

You can add a bookmark using BotMimic_SaveBookmark while recording and
jump to it using BotMimic_GoToBookmark while mimicing.

The bookmarks are displayed in the record details menu.