Makefile: force `make libs` to rebuild libraries
Makefile: force `make libs` to rebuild libraries

It calls a sub-Makefile which does not properly track dependencies.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar