HCF: find the higest common factor of two numbers.