Ability to rename profiles

[rmustacc]

trafficstars

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.