[amsat-bb] Doppler correction with CAT and SATPC32