adds .derecho to the .gitignore so i don't accidentally commit some sensitive infos man....