initial support for Coq code blocks