Add several files

They was missing because of a broken gitignore.