Removes the tool_profile key from config.toml, restoring the lean
default: only the lazy core set (~13 tools) is advertised in tools/list,
while every registered tool stays reachable through ctx_call. This is
the recommended low-overhead mode (#575).