Make playground editors/outputs resizeable

Moving discussion here from #50.