Editable names

The names of folders and tasks can now be changed by clicking the name
at the top of the screen.