libcspec: Behaviour-driven development in C