add README

README.md

+CDC Counting
+============
+
+Python implementation of the framework to count objects on graphs
+described in Ph.D. thesis "Structure of Flow-continuous Mappings
+in Algebraic Context" (Radek Hušek, 2022). The expriments are
+focused on counting circuit double covers. Most of the programs
+require SageMath.
+