ERP5Site.py: check the action provider list after the workfkow tool migration, add portal_workflow if it was not in the list; clean up.