/docs added to .gitignore in case we want to run ex_doc in ex_doc
Merge pull request #161 from eksperimental/git_ignore_docs

/docs added to .gitignore in case we want to run ex_doc in ex_doc