Machine-Learning the Sato--Tate Conjecture