metomi/rose#651: implement draft of table page
metomi/rose#651: fix derived type array variables
metomi/rose#651: rationalise widget names
rose_prune: use shell to delete localhost files

This allows extglob (bash and ksh) to be used, e.g. for negative match.
metomi/rose#581: add trigger validation macro
metomi/rose#581: adjust trigger macro test
metomi/rose#581: fix rose edit trigger change
metomi/rose#581: changes following review
Merge pull request #850 from benfitzpatrick/651.table-page-array

#651: rose edit variable array columns
Merge pull request #855 from benfitzpatrick/581.trigger-validation

#581: rose macro - add command line trigger state validation
Merge branch 'master' into rose_prune_shell
metomi/rose#844: fix jumping page bug
metomi/rose#858: document opt conf ordering
metomi/rose#529: allow clickable headers
Merge pull request #862 from benfitzpatrick/529.doc-slideshow-header-click

#529: clickable documentation headers
Merge pull request #860 from benfitzpatrick/858.rose-opt-conf-doc

#858: document opt conf ordering
Merge pull request #851 from matthewrmshin/rose_prune_shell

rose_prune: use shell to delete localhost files
rose edit: info dialog - proper recursive pretty-print
rose edit: info dialog - move function
metomi/rose#437: add rose edit upgrade functionality.

This also makes a distinction between named and non-named tagged versions.