GNU Hurd 0.7 has been released