Updatedto latest version of Idris.
Added support for labels in headers.