rm -r robin/
allnodes.h: added AM_MEASURE
Merge branch 'master' of github.com:dgarth/foll_inf_uni-goettingen_ws1213