Add an example of how to use proper_eunit