Put CI badges in document prelude