Verify the syntactical correctness of a manifest

Change puppet-mode.el so that one can check a given manifest for syntactical
correctness with the key sequence C-c C-c. The command used to check a manifest
is "puppet parser validate", but this is configurable. The key sequence usese
the builtin "compile" command.