Add option to amend previous commit button to Web IDE

Amending a commit is a very useful workflow. We should consider adding support for this.

Problem

Currently, it is not possible to amend changes to the previous commit.

cc: @jkarthik @jramsay