* main_codemap.ml: bigger stack limit
* web/globals.ml: bump stack limit
* web/codemap.eliom: esthet
* web/Makefile: comments for more verbose mode