Rename the 'title' attributes of various widgets to 'tiddler'

The change is to avoid confusion with the HTML 'title' attribute. The
name 'tiddler' better emphasises the purpose of the attribute, too.