Progress with cold antihydrogen