Migration to gitlab.com/latex-rubber/rubber/

Written for Rubber by Florian Schmaus on 2020-08-24

Rubber is in the process of being migrated from launchpad to gitlab.com. The new home of rubber is

https://gitlab.com/latex-rubber/rubber/