Change these two bad boys from DOS line feeds to real one...
Renamed the git repos to track the major release number. This only
applies for v4 and v5, v3.2 has to stay as is.
Add a README for Jenkins jobs management