Merge commit 'c5184d14400ee2f0e2a9d9abb21f1e178f73b620'

Conflicts:
	Bibs/ProgLang.bib
	Bibs/own.bib
Compact biblio
More violent bibliography shrinking

This gives us half a column.
Adjust bibliography