fence_theorems function

Convert the syntax of theorem and proof environments from code blocks to fenced Divs