Add second chapter on Coq and the Need for Better UIs