Makefiles: Use new library template. Use GNU Make specific pattern handling to build some targets.
Makefiles: Use new library template. Use GNU Make specific pattern handling to
build some targets.

mwb-cde/hseq-prover