Deleted the secret.config files

Since Git doesn't have good support for ignoring existing files, I had
to delete the secret.config files. Developers will simply have to add
those locally, manually.