GitLab

changes:
- easily customize the colors via variables
- command to switch on/off the custom prompt
- Improved documentation with example on how to append on the prompt.

Fixes #7261

* use https everywhere

* use https links on the files that are left

Also, removed some broken links and updated redirections.