Plugin tool options

Tools can declare a configuration page.