Updated .gitignore to allow pushing libraries to the repository.