Rename portals#47

Allow us to rename the portals, to keep it organized and easy to remember.

This is already in the game! Just click on the portal after its activated

You currently have the ability to do that. First click on the portal and then input a name, and then click the check mark.