Updated workshop text and added introduction sections for elicitation/spec/prio.