Cleanup

Signed-off-by: Gregory Detal <gregory.detal@uclouvain.be>
Update libcrafter

Signed-off-by: Gregory Detal <gregory.detal@uclouvain.be>