Finally, allow to select what to show in HistoryView

This uses checkboxes (where radio buttons would be  better fit); but
there is currently no way to create radio buttons...

HEAD is always at the top, because I still want to introduce a "virtual"
commit that reflects index and / or the working tree.