Add a few new files to be ignored

Towards #510.