Allow overriding default value of `JL_STACK_SIZE` (#53254)
Occasionally, users may want to be able to customize the default
per-task stack size. While this is a somewhat unusual thing to do, this
plumbs through support for this to be set at the `Make.user` level,
rather than having to modify `CFLAGS` or `src/options.h` directly.
