In devel tree, build-area should be renamed to build
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.