Revert "remove stuff from gitignore so that I can get it on my side"

This reverts commit f44a13e9ffc9e0686d648ce0c997005f73aee8d5.