haskell-jwt: update to version 0.4.2
haskell: add validation package
haskell-yi: update to 0.10.1
haskell-yi-contrib: update to 0.10.1
haskell-yi-contrib: move under libraries instead
agda: add fuuzetsu to maintainers
lua-packages: added lua-bitop
prosody: added websocket support
prosody: updated to v0.9.5
haskell-yi: use --suffix wrapper

This allows further wrappers to get around the problem of ending up with
GHC_PATH with double ‘::’ in it, breaking the whole thing.
haskell-yi-custom: convenience wrapper for configs

Now to use Yi along with its config the user passes all the extra
libraries wanted by their config as extraPackages and builds the
expression. This means there is no hassle from the user about having to
manually create a cabal file and wrap over the Yi binary.
haskell-PastePipe: update to 1.6
haskell-yi-custom: broken = true for now
Merge pull request #4532 from purefn/haskell-validation

haskell: add validation package
Merge pull request #4531 from purefn/fix-jwt

haskell-jwt: update to version 0.4.2
Merge pull request #4535 from flosse/lua-bitop

lua-packages: added lua-bitop to add websocket support for prosody
Merge pull request #4536 from flosse/prosody

prosody: updated to v0.9.5
Upgrade idris compiler to 0.9.14.3
Merge pull request #4537 from aycanirican/idris_update

Upgrade idris compiler to 0.9.14.3
wxGTK: updating to 3.0.2