Added script for deleting merged branches on github.