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