Setting up repository

All useless files are deleted and only the useful ones are available.
Felix is up to date with the repository.
Jeremie will be soon.