syntax files for agda, coq, glsl
indent file for coq
ftdetect for coq, scala
added submodule for jellybeans