Added document generation scripts, cleaned up output a little
Added pdf for isabelle theories