Updated pldoc
Remove check/0 pass numbers

As Jan said, this is "simpler and [the numbers] are
meaningless anyway"
Make check/0 extensible

Users can add and remove checks performed by check/0.
Some small cleanup to library(check).