fix horrible indentation. remove unused code.
render coq posts using coqdoc
remove executable