Dropped the "scheme-" prefix from the repository name for consistency
with other schemedoc repos.

GitHub automatically makes redirects from the old name, so old links and
git urls should keep working as before.