Allow speicifying alternative GNSS-SDR repo