Think and define a new name

[jagalindo]

Define a new name for the tool in order to avoid future conflicts/errors with naming

[jagalindo]

Currently moving this out

[jagalindo]

please, remember to close this issue with comment as soon as we know the community-agreed name

[benavidescuevas]

The new name is FLAMA.

in pypi we can call it : flamapy because flama is taken. Same applies for github organization.

[jagalindo]

I'm reopening it so we close it when the transition to the new naming is done.

[jagalindo]

Some small steps already have been taken. We already own the flamapy organization and the repos for the github pages have been created. See https://flamapy.github.io/docs/

[Virako]

Estimated time: 10 hours
Estimated completion date: 09/06/2022