VDM++ highlight syntax for Kate