updated header for GitHub; fixed after renamings in Partitions.thy
updated header for GitHub
acknowledged main collaborators
updated copyright notice
using Manfred's gmail address except for TeX papers