Adds a support of litmus syntax for source files

Probably not very robust, and would need a cleanup. But since litmus
files are supposed to be automatically generated, this should not be
a problem for now.