dgtal 0.8.0

DGtal upgrade to 0.8.0 and formula cleanup
Ok no problem.. Thanks 
BTW, from a github PR, how can I get a diff url with its sha1 hash ?