Hancock's World and Heroes of Comedy television documentary on Tony Hancock