install-osrf.sh: use correct 2.12 branch for config repo