Add Countable instance for `Byte.byte`

Once support for Coq v8.9 is dropped, resurrect !155 (merged) and add a Countable instance for Coq.Init.Byte.byte.