Update to follow the standard plugin API.
Merge branch 'master' of git://github.com/yav/type-nat-solver

Conflicts:
	TypeNatSolver.hs