Implement revert change via REST API

Add a new REST API to revert a change, and refactor
the web UI to use it.

Change-Id: I3040050df359c2071addbdfb14ae3235f84d9ad9
10 files changed