Add SSReflect template
Use Coq/SSReflect syntax highlighting

Totaly awesome!
Change to small letters