- Allow modules to be specified without their prefix and extensions
in --{disable,enable}-extras.
- Allow modules to be space delimited in --{disable,enable}-extras.
This brings shiny new GitHub integrations as well as allowing us to
bring back the macOS builds which were disabled because of the very
broken Travis CI macOS infrastructure.