convert comments in restructuring module

Mass conversion of comments to the "pretty" type.

CC: @sbozhko please have a look.

added 1 commit

• b8d14ded - update create_makefile.sh to patch up coqdoc.css

Compare with previous version

added 1 commit

• 7f6f8346 - update create_makefile.sh to patch up coqdoc.css

Compare with previous version

added 1 commit

• e5a110b0 - update create_makefile.sh to patch up coqdoc.css

Compare with previous version

added 1 commit

• affc3a0b - convert comments in analysis module

Compare with previous version

added 1 commit

• 81dcfa38 - fix links to Coq standard library in coqdoc output

Compare with previous version

added 1 commit

• 72f608f3 - convert comments in behavior module

Compare with previous version

unmarked as a Work In Progress

This MR switches all comments in the restructuring module to "nice" literate-programming comments.

It also de-crustifies create_makefile.sh a bit (though not yet completely).

I'd like to merge this asap. @mlesourd, @sophie: please ack.

changed title from convert comments in model to convert comments in restructuring module

changed the description

merged