Ability to rename profiles #251
Description
It might be nice if either triton profile edit or a top-level triton profile rename existed so one could edit the name of the profile and rename it without doing the export, delete, edit, and import dance.