Erlang framework for coursework based on Cachin's Distributed Algorithms Book, used at UCL (.be) in 2013