Vim Isabelle syntax: Update from upstream.
Vim syntax: Add SAL syntax.

Sourced from https://github.com/vim-scripts/sal-syntax.
Vim syntax: Add Murphi syntax.