A few cleanups:

    - There was a problem where effects required lift' to be used, but
      this seems to have been fixed in the main Idris-dev repo. As such,
      they're removed from the libraries and examples now.

    - Effects.pure has been replaced with return in a few places, since
      disambiguation has been improved

    - addForm no longer requires action and name fields for fields,
      thanks to Peter Thiemann for the suggestion

    - Added makefile for the message board

    - Some cleanups in the SQL library