Javascript for downloading an svg element as a .svg file.