remove tools/ and resources/ from .gitignore