Added required {-# NO_TERMINATION_CHECK #-} flag.

The flag is required after the Agda patch:
Mon May 26 08:48:37 COT 2014  jesper.cockx@cs.kuleuven.be
  * Temporary fix for Issue 1023 (Termination incompatible with univalence)