Kepler

I'd like to see the "build-area" directory name changed to "build",
though this is a matter of personal preference. I think "build" is more
common than "build-area" and is shorter to type.

Also, "-area" does not supply much information. All directories are
areas or workspaces, so "-area" is redundant.