Rename tab not intuitive (UI improvement)

[chaosarium]

I couldn't figure out how to rename a tab without searching through the documentation. alt + left click is probably not something people think of.

Maybe double click or right click menu with rename option would be more intuitive.

[MarkChenYutian]

This behavior is defined in here, specifically:

C0VM-ts/src/components/c0-editor-group.tsx

Lines 57 to 62 in 8e45bd3

	onTabClick: (key: string, e) => {
	// TODO: Find some way to let alt-key (second key click) toggle rename
	if (e.altKey) {
	const s = prompt("File name for tab:");
	this.props.setTabName(parseInt(key), s === null ? "" : s)
	}