Chose stuff to be ignored

files that are part of compilation, but that the coder does not make are
ignored by github.