Allow renaming profile file

[jpchauvel]

It should be possible to allow the user to rename the profile file given that the current naming scheme is a little bit awkward for humans to read. Renaming the file should check if there are collisions with other files before renaming it.