Cleanup Makefile

Nettoie plein de problèmes agaçants dans le Makefile, notamment des choses qui empêchent de compiler la première fois proprement. Cela prépare le terrain pour la migration vers Coq 8.12 (qui demande entre autres un digger plus récent). Je n’ai pas testé avec la version de digger qui est référencée dans le sous-module ni avec la version de Coq utilisée pour la branche yield_integration.