Add tooltips
Add SimpleTest options. Misc tweaks.
For Jenkins-based jobs, set the build's name+url using EXECUTOR_NUMBER.