This change renames runner configuration files to "settings" instead of
"index" to free up that name, so an index page can be added in the
future.

No user facing changes are expected.