devilry_developer.settings.base: Use whoosh.