chore: add thread name prefix to executor thread pool (#618)

Hey DBOS team 👋 

_Note:_ I made this via the GitHub UI, so may need to run a linter! Let
me know what else I should do to make this PR merge-able

## Description

Add a thread name prefix to make it easier to identify which threads are
responsible for executing DBOS workflows