devel_generate_* functions shouldn't use theme() during an install profile, as it's slow

The various devel_generate_* functions call theme() in the process of setting a message. e.g.

  $new_terms = devel_generate_terms($num_terms, $vocabs, $title_length);
  if (!empty($new_terms)) {
    drupal_set_message(t('Created the following new terms: !terms', array('!terms' => theme('item_list', array('items' => $new_terms)))));
  }

If called during a custom install profile, this call to theme() will be unnecessarily slow because a large set of normally cached data has to be rebuilt (there is no cache during install). So during an install profile, some other methodology should be used to build the output for that message.

e.g. Perhaps:

  $new_terms = devel_generate_terms($num_terms, $vocabs, $title_length);
  if (!empty($new_terms)) {
    if (variable_get('install_task' == 'done') {
      drupal_set_message(t('Created the following new terms: !terms', array('!terms' => theme('item_list', array('items' => $new_terms)))));
    } 
    else {
      drupal_set_message(t('Created the following new terms: @terms', array('@terms' => implode(', ', $new_terms))));
    }
  }