Promote higher-order functions using defunctionalization
Support defunctionalization in singletons
Update tests to work with the new testsuite
Some preliminary work on lamba promotion
Fix ByHand tests, add byhand Makefile target
Lambda promotion seems to work
Attempt at lambda promotion for GHC 7.6.3

- generated lambdas don't comple under 7.6.3
- 7.8 tests updated
- some of 7.6 tests also updated
Improve LambdasComprehensive test
Add Janek as author/maintainer
Apply --> (@@), fixing #27.
Merge branch 'master' into lambda

This commit also does some cleaning up of names in Promote.
More to come.

Conflicts:
	singletons.cabal
	src/Data/Singletons/Bool.hs
	src/Data/Singletons/Eq.hs
	src/Data/Singletons/Promote.hs
	src/Data/Singletons/Singletons.hs
	src/Data/Singletons/Types.hs
Further name cleaning up. No warnings. Some testsuite problems.

In particular, the Lambdas output shows an arity change. I believe
this change is solely due to fixing "unused variable" warnings by
changing variables to underscores. I think this may be a real bug,
but I don't have the time to investigate now.
Merge branch 'js-lambda-promotion-v2' of ssh://github.com/jstolarek/singletons into lambda

Conflicts:
	tests/compile-and-dump/Promote/LambdasComprehensive.ghc78.template
Merge branch 'master' into lambda

Conflicts:
	tests/compile-and-dump/GradingClient/Main.ghc76.template
	tests/compile-and-dump/GradingClient/Main.ghc78.template
	tests/compile-and-dump/Promote/PatternMatching.ghc78.template
Fix some broken tests, add Tuple test
Don't fail when there is no proxy table.

Fixes js/#34
Fail when promotng function without type signature
Lots of testsuite fixes and improvements

  * Remove support for running programs from testsuite (fixes js/#33)
  * fix broken ByHand test
  * fix broken Quickly test
  * add tests-quick target
  * Update testsuite documentation
Uncomment sZipWith in ByHand
Generate defunctionalization symbols for existing declarations

Fixes js/#28