have plugin manager check file mod date and use that to determine if the plugin needs to be rerun: issue 11 on github
have plugin manager check file mod date and use that to determine if the plugin needs to be rerun: issue 11 on github


Former-commit-id: 75e00c81b98d85acb12d2c51bc4ed8268235e6fe
SuperCowPowers/workbench,djtotten/workbench,djtotten/workbench,djtotten/workbench,SuperCowPowers/workbench,SuperCowPowers/workbench