Tools Menu

The new Tools menu contains some built-in utility commands and a tool to call external user-defined commands. This menu should be considered beta and any unexpected results or any suggested improvements should be communicated to me.