There was relief but little joy tonight in the US as the country came to terms with the execution of Timothy McVeigh, its worst-ever mass murderer.