Fix cabal file.
Merge branch 'origin/develop'

Conflicts:
	threepenny-gui.cabal
Merge branch 'origin/develop'
Restrict WebSockets to 0.7 for the current master branch.
Use 'readMay' for compatibility with older base version used by Travis.
Add HCAR November 2013 report.
Minor update to HCAR report.
Merge branch 'origin/develop'

Conflicts:
	threepenny-gui.cabal