Half‐flat structures and special holonomy