Bash history recording and logging

log_bash_history

After asked grok3 lots of options, the only one that works for me:

```sh
# log and append history while preserving $_
append_log_history() {
# Save the current $_
local saved_underscore="$_"
echo -n '' > /tmp/history$$
HISTFILE=/tmp/history$$ history -a
cat /tmp/history$$ >> "$BASH_HISTORY_BACKUP_FILE"
cat /tmp/history$$ >> "$HISTFILE"
history -n
# Restore $_
export _="$saved_underscore"
}

shopt -s histappend
PROMPT_COMMAND="append_log_history; $PROMPT_COMMAND"
```