[galaxy-commits] commit/galaxy-central: greg: Make checking for for migrated tools when starting the Galaxy server a config setting that defaults to True. This setting should generally be False only for development Galaxy environments that are often set up from scratch (with new db, etc) and migrated tools are not needed in the Galaxy tool panel. In those cases where this setting is False, starting a fresh Galaxy instance (with no checking for migrated tools) will be much faster.