Add syntax highlighting to ACSL (ANSI/ISO C Specification language) language in C comments starting with /*@
###Important Note: This package does not actually implement ACSL's full grammar, only simple keywords and punctuation to help syntax highlighting.
###TODOs:
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.