Updating syntax file with missing '>'.
Added KEA+ models with adversarial key registration.

The idea is to confirm/deny results established manually in the context of
the ASICS paper.
more extensive case splitting
wibble
Updating e-mail address and homepage data.
Fix aeson to 0.6.* - we currently use its ToJSON ByteString instance
Upgrade to yesod 1.2 and -Wall cleaning
Prepare release for 0.8.5.1
Merge branch 'develop'