Replace MarsMan Template for just MarsMan everywhere

[Jordi Vendrell]

For marketing purposes, we prefer to call this tool just MarsMan, instead of MarsMan Template. We have to replace every MarsMan Template copy for MarsMan and replace all the logos.