Rename generate-extra{users,files}

For consistency. It's actually called `extrafiles`, so having it called
something different is confusing and hard to grep for.

/cc @drj11