down button/compile/highlight working.
will do some refractoring in next commit.
some refractoring.
down button works as longs as there are no comments.
(only coq sommands separated by '.'s)