Emacs 24 promela-mode for the Spin model checker