Keep documentation for old versions

Currently, the official website provides a version selection button for 3 versions of the documentation: master, 1.5 and 1.4.

Some Linux distribution uses older versions in their packages. For instance the latest Debian stable, released this June, uses version 1.3.2.
Please keep older versions of the documentation accessible on the official website.