support customization via M-x customize
register promela-mode in auto-mode-alist