Remove unused Jenkins and development related files from the repo.