Rename crate, binary, repository to `discord-roles-exporter`
This tool is more generic, so reflect that in the names.
Generalize project title and description
Sort role names case-insensitively
Add generator meta tag to HTML output
Tweak HTML layout dimensions
Begin development of version 0.6.0
Add shell script to build release binary in Docker container
Use YAML list indentation like GitHub Actions does, separate steps by blank lines
Tweak README section title
Tweak example configuration file
Add clarifying parentheses as suggested by Clippy
Prefer Discord user's server-specific nickname over global name over username
Prefer Discord user's global name over username
Loop over members, not their user objects
Use v10 (instead of v9) of the Discord API
Update ureq to v3.0.8 (from v2.12.1)