FIX: renamed `store-bodies?` config option to `red-store-bodies?`.

This change is done in preparation for a future separate list of Red-level related compilation options.