fix compilation of TPC and calculator after switch to domain module f…

…rom htt (which bundles bottom element in posets)

configuration adjustments for Coq 8.12

follow best practices for _CoqProject files

Merge pull request #8 from DistributedComponents/fcsl-pcm

Port to fcsl-pcm

add more detail about TPC example

add general opam metadata