Translation
- remove "SOURCES" section title from pdf output
- set up script for future translation
- little theming improvements
Gitlab was migrated to a new server. Everything should be back to normal and no visible change should remain. If you see anything wrong, please report them to https://forum.duniter.org/t/interventions-et-indisponibilite-des-forums-et-de-gitlab/7131/271