Big file

Put separate files into one document 'partial compact quantum groups
complete.tex', also added comparison with Gaby's notion of comodule for
weak multiplier bialgebra