Original termites model

A simple RR model of a termites colony, originally published in Gaucherel et al., 2019. The analysis has been adapted to ecco: in the paper, the explicit state-space is first computed and then sets of states are aggregated into components; with ecco, we proceed the other way round, starting from a symbolic component graph that we split progressively into its individual states.