Version Apache configuration files

[Zimmi48]

Right now, configuration files are located in /etc/apache2 on the Coq VPS. These files are not versioned (which is already in itself pretty annoying). Ideally, we would version them within the same repository as the rest of the website's sources (here) and have the script that synchronize the website push them at the right location.

BTW, something else that should be versioned is the above mentioned synchronization script.

[Zimmi48]

Currently, the main configuration file is /etc/apache2/sites-available/000-coq.inria.fr.conf. It is currently the one which contains the ProxyPass rules for the documentation. It includes another file /etc/apache2/main.conf, and this one includes /etc/apache2/aliases.conf which is essentially a copy of aliases.footer.conf in this repository (cf. #132). It seems to me that we should be able to simplify most of this by merging some of these files and versioning most of them. Having the ProxyPass rules in a versioned file would allow any RM to change the location of the "current" refman instead of having to rely on someone with access to the web server for this.

[Zimmi48]

This is no longer relevant since the migration to GitHub Pages.