Updated README.md
script to add emacs mode variable to PML source file
Makefile to generate the verifiers for each promela model