Ignore some files

This patch sets Git to ignore many files that are generated by the config/build phase of Executor, thus making Git complain less about un-added files.