Release 13.1-rc3
Bump versions and add new components.
Merge pull request #13 from piojo/13.5

Prepare for Quattor 13.5.