Added docs/EBNF.txt that describes the configuration language.

Also updated .gitiginore to ignore *~