Server-side code for edit area name

Added server side code for editing area name. A new area with the new
name gets  created, followed by a move of all items from the old area
when the user triggers rename. Finally, the old area gets deleted.