Vim syntax file for the iSAT3 input language